Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Metamathematics

Revision as of 15:01, 24 June 2024 by Afly (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Metamathematics&oldid=221020"