Anfang der 20er Jahre stellte er als Reaktion auf die Grundlagenkrise der Mathematik die Forderung auf, die Mathematik vollständig auf einem Axiomensystem aufzubauen, das nachweislich widerspruchsfrei sein sollte.