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