Basiswissen

Zwei oder mehr logische Aussagen sind genau dann widerspruchsfrei oder konsistent, wenn man aus ihnen keine falschen Aussagen durch logisch korrekte Schlüsse ableiten kann. Siehe auch Konsistenz (Logik) ↗