“Wenn ich gezeigt habe, daß 1 : 3 =
3̇
ist & ich soll
1
3
ausrechnen, muß ich (
dann) die 27
Divisionen ◇◇◇ || Operationen
noch
ausführen || anschreiben?” –
“Selbstverständlich nicht!
Es ist bewiesen, daß Du sie anschreiben
könntest, & mehr ist nicht notwendig.
” ‒ ‒ ‒
Nun, wie soll ich das formulieren?
Nicht so: “Wenn bewiesen ist, daß p bewiesen werden
kann, so gilt p als bewiesen”?