3 ms·
Now what's too many axioms? :D
by auggierose 9y ago
Now what's too many axioms? :D
- Animats 9y agoYou get Peano-level axioms. Everything else is a definition or a theorem.
- auggierose 9y agoNah, I also allow Axiom of Choice and Tarski-Grothendiek. Everything else is a definition or theorem.