[triknomeister]

Mathematics is actually the easiest thing to formalize. It's just the standards of formalization are much higher.

[lgas]

Isn't mathematics the only thing that it's possible to formalize? Doesn't the process of formalizing something else turn it into mathematics?