motsägelsefri

Att ge en motsägelsefri uttolkning av allegorin är ett uppdrag för våghalsiga.

Grundläggande satser i modellteori är satser om existens av modeller för en given teori: • Modellexistenssatsen som säger att varje motsägelsefri teori har en modell.

I datorrelaterade sammanhang används termen i den ungefärliga betydelsen fast, jämn, oföränderlig, motsägelsefri.