Dicho programa abogaba por la formalización de diferentes ramas de las matemáticas mediante un conjunto de axiomas explícitos, en general formulados en lenguajes formales de primer orden.