BSTS / Mantık Terimleri Sözlüğü
tutarlı ilksavlı kuram anlamı İng. consistent axiomatic theory Alm. widerspruchsfreie axiomatische Theorie Fr. théorie axiomatique consistante
Her önermesi kanıtlanamayan ilksavlı kuram. || Temel mantıklı tutarlı ilksavlı bir kuramın kanıtsavlar kümesinin doğrulayıcı yorumu vardır.