Wie konnte der Kalkül durch einen Beweis prinzipiell in Ordnung kommen?
     Wie konnte es kein rechter Kalkül
256
sein, solange man diesen Beweis nicht gefunden hatte?