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