This program is still recognizable in the most popular philosophy of mathematics, where it is usually called formalism.
O programa segue sendo recoñecíbel na filosofía da matemática máis popular, onde se lle chama normalmente formalismo.