Aber halt!
R. könnte ja den Satz
~p ⌵
p auch ohne Beweis als wahr anerkennen & hat er dann
nicht
denselben 123
Satz anerkannt, den er jetzt auf Grund
des eines || des Beweises
anerkennt?
Kannst Du nicht den gleichen
Satz einmal auf Grund des einen, einmal
auf Grund des andern Beweises anerkennen
& einmal ohne jeden Beweis?
Und
soll ich also sagen, der mathematische Beweis, beweise
zwei mathematische Sätze
auf einen || mit
einem Schlag: den
bewiesenen Satz &
den, daß er bewiesen werden könne?
124