Formalism (Hilbert’s Program)
Holds that mathematics is not about an abstract reality at all, but is a game of manipulating meaningless symbols according to agreed-upon rules — true only in the sense of being validly derived, not in the sense of describing anything.