This program is still recognizable in the most popular philosophy of mathematics, where it is usually called formalism.
Chương trình này vẫn được công nhận là nổi tiếng nhất về triết học của toán học, nơi mà nó thường được gọi là hình thức hóa.