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."

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