Difference between revisions of "Metamathematics"
(Created page with "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 li...") |
|||
| Line 1: | Line 1: | ||
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." | 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." | ||
| + | |||
{{stub}} | {{stub}} | ||
Revision as of 14:01, 24 June 2024
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.
