Φορμαλισμός
Ο φορμαλισμός ως φιλοσοφία των μαθηματικών προέρχεται περισσότερο από μαθηματικούς και ισχυρίζεται ότι η ίδια η ουσία των μαθηματικών είναι ο χειρισμός χαρακτήρων. Μία λίστα χαρακτήρων και επιτρεπτών κανόνων αποτελεί οτιδήποτε μπορεί να ειπωθεί για ένα κλάδο των μαθηματικών. Δηλαδή τα μαθηματικά δεν αναφέρονται ή δεν χρειάζεται να αναφέρονται σε τίποτα περισσότερο από τους χαρακτήρες και τους κανόνες χειρισμού αυτών. Έτσι παραδείγματος χάρη στο ερώτημα για το τι ακριβώς είναι οι φανταστικοί αριθμοί ο φορμαλισμός απαντά ότι απλά πρέπει να τους χειριζόμαστε με τους ίδιους σχεδόν κανόνες που χειριζόμαστε και τους πραγματικούς αριθμούς. Βέβαια στα πλαίσια του φορμαλισμού θα μπορούσαμε να διακρίνουμε κάποιες διαφορετικές γενικές θέσεις, όπως ο φορμαλισμός των όρων ή των παιγνίων.
