Unabhängigkeitsbeweis
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 Unabhängigkeitsbeweis wird gezeigt, dass keines der Axiome (keine der Schlussfolgerungsregeln) überflüssig ist.
Das wichtigste Verfahren für Unabhängigkeitsbeweise hat Bernays gefunden.
a – Axiom | Badische Schule – Buridians Esel | C – covering-law model | Daimonion – Dysteleologie | e – externe Relation | fallacia – Für-Wahr-Halten | G43-Implikation – Gruppe, Berliner | Halbierungsparadoxie – Hysteresis | i – Isosthenie der Argumente | judicium | K – Kyrieuon | language of thought – Lust, sinnliche | M – Münchhausentrilemma | N – nyāya-Schule | o – Oxymoron | P – Pythagoreismus | Quadrat, logisches – Quodlibetarier | R – Russell’s Antinomie | S – Szientismus | t – twin earth | Übel – utraque praemissa … | Vagheit – Vulgärmaterialismus | w – Würde | x – XYZ | Yager-Intersection – Yoga | Zadeh-1-Implikation – Zynismus