Der Satz (VIII)

von Cedric Weidmann

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