“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”?