Der Satz (VIII)
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
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