BSTS / Mantık Terimleri Sözlüğü
dizimsel eksikli ılksavlı kuram anlamı İng. syntactically incomplete axiomatic theory Alm. syntaktisch-unvolstaendige ax'iomatische Theorie Fr. théorie axiomatique syntaxiquement incomplète, non-saturée
Belirlenmez önermesi olan ya, da başka bir deyişle iiksavlar kümesine katılmasıyla kendini tutarsız kılmayan bir önermesi olan dizimsel-tutarlı ilksavlı kuram.