Metamathematics

Metamathematics is the study of proofs. While mathematicians come up with axioms and try to prove things, metamathematicians look at the axioms and make comments about them like "Are you sure that that axiom won't result in a contradiction?" or "I don't think you need that last axiom."

Uncomputable things

Most of the math in other parts of the wiki can all be done, for example bisecting an angle with straightedge and compass or solving a cubic, but some things we can't do, like trisect an angle with straightedge and compass, or make a quintic formula.

This article is a stub. Help us out by expanding it.