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?