BSTS / Mantık Terimleri Sözlüğü
yorumsal eksiksiz ilksavlı kuram anlamı İng. semantically complete axiomatic theory Alm.semantisch-vollstaendige axiomatische Theorie Fr.théorie axiomatique sémantiquement complète (saturée)
Olağan yorumda doğru olan her önermesi kanıtlanabilen tutarlı ilksavlı kuram. Örn. yalınç öbekler kuramı.