Full Idea
Game Formalism seeks to banish all semantics from mathematics, and Term Formalism seeks to reduce any such notions to purely syntactic ones.
Gist of Idea
Game Formalism has no semantics, and Term Formalism reduces the semantics
Source
Øystein Linnebo (Philosophy of Mathematics [2017], 3.3)
Book Reference
Linnebo,Øystein: 'Philosophy of Mathematics' [Princeton 2017], p.44
A Reaction
This approach was stimulated by the need to justify the existence of the imaginary number i. Just say it is a letter!