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

…

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