dizimsel eksiksiz ilksavlı kuram anlamı İng. syntactically complete axiomatic theory Alm. syntaktisch-vollstaendige axiomatische Theorie Fr. Théorie axiomatique syntaxiquement complète, saturée
Her önermesi belirlenir olan tutarlı ilksavlı kuram; kanıtlanamayan herhangi bir önermenin ilksavlar kümesine katılmasıyla dizimsel tutarsız duruma dönüşen dizimsel tutarlı ilksavlı kuram.