Formalism (philosophy of mathematics)

In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be statements about the consequences of the manipulation of strings (alphanumeric sequences of symbols, usually as equations) using established manipulation rules. A central idea of formalism "is that mathematics is not a body of propositions representing an abstract sector of reality, but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess." According to formalism, mathematical statements are not "about" numbers, sets, triangles, or any other mathematical objects in the way that physical statements are about material objects.

Source: Wikipedia — Formalism (philosophy of mathematics) (CC BY-SA 4.0)