Comment by kdavis

What name does this "well-developed field of mathematics" go by? (I just want to get a taste of what the field is like.)

I also thought that there are an infinite set of possible extra axioms, e.g. axiomize any statement that's true but not provably so via Gödel's First Incompleteness Theorem, though maybe the vast majority of such axioms are "uninteresting".