Er strebt einen konsistenten axiomatischen Aufbau der gesamten Mathematik an, wobei er wiederum die natürlichen Zahlen als Ausgangspunkt wählt, in der Annahme, damit ein vollständiges und widerspruchsfreies System zu besitzen.