Wie, wenn Einer sagte: Die R.sche Arithmetik stimmt mit der gewöhnlichen bis zu Zahlen unter 1010 überein; dann aber weicht sie von ihr ab. Wie w Und nun führt er uns einen R-Beweis dafür vor daß 1010 + 1 = 1010 ist. Warum soll ich nun einem solchen Beweis nicht trauen? Wie wird man mich davon überzeugen, daß ich mich im R-Beweis verrechnet haben muß?
        Brauche ich denn aber eines Beweis ˇaus eine[s|m] anderen System, um mich zu überzeugen, ob ich mich in dem ersten Beweis verrechnet habe? Genügt es nicht, daß ich diesen Beweis übersehbar anschreibe?