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.