Ich frage: – könnte es nicht, auch wenn induktiv eine Wiederspruchsfreiheit bewiesen ist, einen Wiederspruch im Kalkül, sozusagen, in einer höheren Ebene geben?
        Ich meine: Kann
jener
der
induktive Beweis nicht bloß eine Form des Wiederspruchs eliminieren; & kann man nicht eine andre Form konstruieren, die dennoch möglich ist? Wenn es aber so ist, so heißt das nicht, daß der Beweis der Wiederspruchsfreiheit wertlos ist; sondern nur, daß er Wert hat, wo er praktischen Wert hat. Wie ein Wegweiser. (S.d.)