This program is still recognizable in the most popular philosophy of mathematics, where it is usually called formalism.
Αυτό το πρόγραμμα εξακολουθεί να είναι αναγνωρίσιμο στην πιο διάσημη φιλοσοφία των μαθηματικών, όπου συνήθως ονομάζεται φορμαλισμός.