My speculative thought is since this more-clear-while-abstract epistemic math (logic + algebra + topology + geometry) stuff is too complicated to master all its pieces and corners, our mortal humans no matter how gifted still need to study it and think about it everyday such that it doesn't even let the pros rest and enjoy. You can personify math as a super mysterious person (or even creator) which we all just scratch its face, we haven't got the time to fully know and enjoy such a large, mysterious and complex person completely, mathematicians and other math practitioners are still full of big confusions even within math itself...

Popular particle physicist Richard Feynman in his videos hinted to find new physics nowadays are exponentially harder than 60 years ago as experienced by modern string-M theory or Loop Quantum Gravity or any new basic physics laws, simply because human minds are running out of elementary common metaphors like jiggling balls to describe laws inside atoms/quarks. Mother nature never lets physicists rest and play inside a familiar known framework like engineers. Space may not look like real line continuum any more, it may be metaphorically replaced by esoteric Calabi-Yau 11-D manifold space borrowed from modern algebraic topology math. So to find remaining new basic physical laws inside atoms, physicists have to work same hard as mathematicians around the clock (if not harder) to leverage new abstract math structures to explain many strange new findings from high energy collision experiments or blackholes...

Most layman think advanced math is magic which is too hard to understand how it's related to reality. But in fact math is more like a magician's trick, seems magic but actually no myth inside. Why? Now we can easily see from my above paragraph: math's model theory and proof theory as a foundational quantified logical form semantically and syntactically describes the most common sense experience we directly had or firmly believed beyond experience. Once there's an online mathematical logician argued with me that he considers only PA or ACA system exists in reality while all ZFC like theories of impredicative or higher order versions are ill-defined due to the non-uniqueness of their models up to isomorphism and the foundational Löwenheim–Skolem theorem thus such theories don't exist most likely. I have to remind him that the existence of his system's real world embeddable model (natural number N) is also a belief in disguise under his constructive or intuitionistic computability POV, not essentially different from Platonism or modern structualism or even the hyperreal numbers from ultrapower construction in Robinson's non-standard analysis to base infinitesimals on a firm modern foundation. This is exactly why knowledge can only be defined as justified true belief at best since Plato though it still faces the tricky Gettier problem. If we believe the physical universe may be nothing but a reflection of ideal Platonic forms existing in a non-spatial-temporal realm, then all we try to figure out is just how to ascend and peek all related parts using our third eye even if this causes harm to our physical eyes literally to put up a pair of glasses. In this sense every true expert of any field is like a successful new land discoverer who will be honored and remembered many many years later.

In summary, ontic math could be the highest ante rem layer of existence as first cause which may be occasionally intuitively perceived by us in a flash (but unfortunately it feels more abstract for layman simply due to lack of training and practice, like any computer programming language), so if you really understand the gist of a mathematical theory, then you can easily find a way to describe or represent it in another coarse, murky, or even exaggerated vivid way via natural language. However, natural language inevitably obscures its quantitative quiddity compared to its math counterpart. The situation is like QM uncertainty principle, no description can be both concrete and precise at the same time when told to untrained layman via any means.

The next blog is of utmost foundational importance, because all later knowledges and methodologies we’ll talk about is premised upon this foundation, it’s your valuation yardstick, it’s your spacetime metric deriving all later geometries. Hope you can reach that far…