Comment by triknomeister

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