Your formalist ideology is noted, but please don’t state its (disputable) claims as clear truths.
Not sure what you mean by “formalist”, or ” claims as clear truth”, but feel free to provide a different definition of mathematics acceptable to a mathematician.
Mathematics seemingly studies mathematical structures, guided by rather elusive criteria for what is worth studying, with axioms and proofs not obviously constituting the whole of its focus. In philosophy of mathematics, asserting that only formal statements and proofs make sense is known as formalism:
It has been claimed that “Formalists, such as David Hilbert, hold that mathematics is no more or less than mathematical language. It is simply a series of games...”
Not sure what you mean by “formalist”, or ” claims as clear truth”, but feel free to provide a different definition of mathematics acceptable to a mathematician.
Mathematics seemingly studies mathematical structures, guided by rather elusive criteria for what is worth studying, with axioms and proofs not obviously constituting the whole of its focus. In philosophy of mathematics, asserting that only formal statements and proofs make sense is known as formalism: