Man könnte nun fragen: Wenn der Satz F(625) einmal so, einmal anders verifiziert wurde, sagte er da beidemale dasselbe?
     Oder: Was geschieht wenn eine Methode des Verifizierens 625 die andre nicht 25 × 25 ergibt? Ist da F(625) wahr & F(25 × 25) falsch? Nein! – Das eine anzweifeln heißt, das andre anzweifeln: Das ist die Grammatik die
43
unsre || die Arithmetik diesen Zeichen gibt.