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 Ver. 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
die
unsre
Arithmetik diesen Zeichen gibt.