Denken wir uns zu einem jeden Beweis einen Satz, der das logische Prod[ü|u]kt aller Sätze des Beweises ist. Dann wäre der Beweis auch ein Beweis dieses Satzes. Und zwar hätte man, indem man den Satz liest, seinen Beweis gelesen.

200