motsägelsefrihet
motsägelsefrihet, konsistens , egenskap hos ett axiomsystem, eller mer allmänt en satsmängd, som föreligger när det inte är möjligt att därifrån härleda en motsägelse (kontradiktion).
För att bevisa ett axiomsystems motsägelsefrihet söker man ofta finna en tolkning av systemets satser under vilken systemets alla axiom är sanna. Hilberts program syftade istället till ett syntaktiskt bevis av aritmetikens motsägelsefrihet, men av Gödels ofullständighetssats framgår att ett sådant program möter principiella svårigheter.
Information om artikeln
Källangivelse