Hilbert, David: Dritter Band: Analysis, Grundlagen der Mathematik, Physik, Verschiedenes, Lebensgeschichte. 1935
Textstellen
Hier eine unknackige Variante (aus "Die Grundlagen der Mathematik", 1927): "Und insbesondere in der Mathematik sind Gegenstand unserer Betrachtung die konkreten Zeichen selbst, deren GESTALT unserer Einstellung zufolge unmittelbar deutlich und wiedererkennbar ist. (…) In der Algebra betrachten wir die Buchstabenausdrücke an sich als selbständige Gebilde, und die Sätze der Zahlentheorie, die in der Algebra inbegriffen sind, werden durch sie formalisiert. Anstelle der übrigen Zahlzeichen treten Formeln, die ihrerseits nun konkrete Objekte einer anschaulichen Betrachtung sind, und an die Stelle des inhaltlichen zahlentheoretischen Beweises tritt die Ableitung einer Formel aus einer anderen Formel nach gewissen Regeln."