Ist es nun möglich, zu zeigen, daß die Grundregeln für einen Satz relevant sind (d.h. ihn oder sein Gegenteil beweisen) ohne sie wirklich bis an ihn heranzubringen. 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 Überprüfung von 36 × 47 = 128 ein Beweis? Es hat offenbar einen Sinn zu sagen: “Ich weiß, wie man das überprüft” noch ehe man es überprüft hat.