Math, fundamentally, is just a standardized formal language in which certain facts can be encoded. This is in contrast to someone's random rigorous thoughts, wh

Math, fundamentally, is just a standardized formal language in which certain facts can be encoded. This is in contrast to someone's random rigorous thoughts, which are not standardized. Math being standardized allows anyone doing math to apply a large set of ready made transforms to their math-encoded facts to derive new math-encoded facts. If the effectiveness of math is unreasonable, then the universe is either not logical, unreasonably simple in its logic or math is an unreasonably bad language to investigate facts in.