El programa sigue siendo reconocible en la filosofía de la matemática más popular, donde se le llama normalmente "formalismo".