Este enfoque formalista pretendía axiomatizar de manera explícita los supuestos usados en diversas ramas de las matemáticas mediante un conjunto de axiomas expresables en un lenguaje formal bien definido y de manera que se pudiera probar la consistencia de las matemáticas así formalizadas.