meaning strings way rules game become true ie true statements assigned axioms rules inference truth preserving ''then'' one must accept theorem rather interpretation one given must true statement held true mathematical statements thus formalism need mean mathematics nothing meaningless symbolic game usually hoped exists interpretation rules game hold compare position structuralism
Humanities Philosophy Applied philosophy Philosophy of mathematics