Formality is technically the degree of mathiness applied to a domain, since formal logic and any other framework of formalization decomposes to mathematics.
So... it's a tautology. Math is the most mathy math. Biology or psychology are less mathy maths.
Having provablility holes in the formal system doesn't imply the existence of other systems that could be decomposed from currently known or unknown symbols. In this universe, information at the level of string theory seems to describe the limits, so math, as she is wrote, is as formal as it gets.
The map is not the territory, so math, as a map, will always be less "formal" than reality itself. It's pretty firmly in second place, though.
So... it's a tautology. Math is the most mathy math. Biology or psychology are less mathy maths.
https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...
Having provablility holes in the formal system doesn't imply the existence of other systems that could be decomposed from currently known or unknown symbols. In this universe, information at the level of string theory seems to describe the limits, so math, as she is wrote, is as formal as it gets.
The map is not the territory, so math, as a map, will always be less "formal" than reality itself. It's pretty firmly in second place, though.