/  
     Ist es nun möglich, zu zeigen, dass die Grundregeln für einen Satz relevant sind (d.h. ihn oder sein Gegenteil beweisen) ohne sie wirklich bis an ihn heran zu bringen. D.h., wissen wir es erst, wenn wir dort sind oder ist es möglich es schon früher zu wissen. Und ist dafür die Möglichkeit der Ueberprüfung von 36 36 × 47 = 128 ein Beweis? Es hat offenbar einen Sinn zu sagen: “Ich weiss, wie man das überprüft” noch ehe man es überprüft hat.