Ich frage: – könnte es nicht, auch wenn induktiv eine Widerspruchsfreiheit bewiesen ist, einen Widerspruch im Kalkül, sozusagen, in einer höheren Ebene geben?
     Ich meine: Kann der || jener induktive Beweis nicht bloß eine Form des Widerspruchs 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 Widerspruchsfreiheit wertlos ist; sondern nur, daß er Wert hat, wo er praktischen Wert hat. Wie ein Wegweiser. (S.d.)