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. 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 einen Beweis aus einem 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?