Benedict XVII hat geschrieben:Beweisen wir doch einmal, dass 2 + 2 = 4 ist. Dies geschieht mit den Regeln der Addition. Um den Beweis fortzuführen muss bewiesen werden, dass die Regeln der Addition korrekt sind. Dies kann mit den sonstigen Regeln der Mathematik geschehen.