BSTS / Mantık Terimleri Sözlüğü
yorumsal eksikli ilksavlı kuram anlamı İng. semantically incomplete axiomatic theory Alm. semantisch unvollstaendige axiomatische Theorie Fr. théorie axiomatique sémantiquement incomplète
Olağan yorumda doğru ama kanıtlanamayan bir önermesi olan ilksavlı kuram. || Örn. İlksavlı kümeler kuramı.