In einem Unabhängigkeitsbeweis für ein formales System mit den Axiomen A1 ... An wird für jedes einzelne Axiom bewiesen, dass weder das Axiom noch seine Negation von den übrigen Axiomen abgeleitet werden können. Auch für Schlussfolgerungsregeln könenn Unabhängigkeitsbeweise geführt werden. Durch den ...