Abstract

Mathematical axioms have traditionally been thought of as obvious or self-evident truths, but current set theoretic work in the search for new axioms belies this conception. This raises epistemological questions about what other forms of justification are possible, and how they should be judged.