neprieštaringùmas, dedukcinių teorijų savybė. Neprieštaringumas yra dvejopas. Sintaksinis neprieštaringumas: iš teorijos aksiomų negalima išvesti ir teiginio, ir jo neigimo. Semantinis neprieštaringumas: teorija yra semantiškai neprieštaringa, jei ji turi bent vieną modelį, t. y. tam tikrą objektų sritį, kurioje ši teorija įvykdoma. K. Gödelis įrodė, kad formalios teorijos neprieštaringumo neįmanoma įrodyti tos teorijos priemonėmis.
314
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.