"Die Entwicklung der Mathematik hin zu immer größerer Präzision hat, wie wir alle wissen, zur Formalisierung großer Gebiete derselben geführt, so dass man jedes Theorem beweisen kann, indem man nichts benutzt als einige mechanische Regeln."