Zitat aus Wikipedia: „Ein Kalkül ist genau dann konsistent, wenn in ihm mindestens eine Formel nicht herleitbar ist.“
Da kribbelt es einem doch den Rücken hinunter, oder?
P.S.: In obigem Link ist ein Umlaut enthalten – ich wusste gar nicht, dass das möglich ist.
