Dicho programa pretendía librar de paradojas el trabajo matemático mediante la formalización y la axiomatización explícita de diversas ramas de la matemática.