Meta Mathematics
09/07/2025: In many disciplines, what they use or create are logical ontologies, or systems that follow specific rules—for example, finance or more practical fields like computer science. However, in mathematics, there are not only conceptual-logical ontologies, but these ontologies can also be used to define, analyze, and deconstruct other forms of conceptual-logical ontologies. They can also be abstracted into broader ontologies (such as algebraic topology, algebraic number theory, category theory, etc.). Therefore, does this imply that the form of mathematical research can be fundamentally different? And can mathematical creation, as a result, take on highly diverse forms? (For instance, I currently have a conceptual prototype of a mathematical language form.)
Shane TAO 