Bedenk aber vorerst, daß man den
Widerspruch sehr wohl gebrauchen könnte;
wenn nur vor ihm zu warnen.
So
könnten die Principia Mathematica || Die
Principia Mathematica könnten sehr gut auch
als ein Katalog von
Widersprüchen geschrieben sein.
“Aber dann wären sie ja
falsch!” Durchaus
nicht;
99
sie wären
dann auch richtig || dann auch
richtig. Der Satz vom Widerspruch würde
dann heißen: ⊢ p .
~p. Und warum sollte man
dann || in diesem Fall nicht sogar sagen
⊢ p . ~p sei ein
wahrer logischer Satz?