Der Satz (VIII)

Der tatsächliche Akt des Formalismus führt zu dem Resultat, das jedes die Arithmetik enthaltende System seine eigene Syntax formalisieren kann.

…

Jean Cavaillès, Über Logik und Theorie der Wissenschaft