Page not found
This question was removed from MathOverflow for reasons of moderation. Please refer to the help center for possible explanations why a question might be removed.
Here are some similar questions that might be relevant:
- Consistent hierarchy of axiomatic systems
- getting rid of existential quantifiers
- Is rigour just a ritual that most mathematicians wish to get rid of if they could?
- How should a "working mathematician" think about sets? (ZFC, category theory, urelements)
- In what respect are univalent foundations "better" than set theory?
- Learning roadmap for Foundations of Mathematics (for the working mathematician)
- Axiomatic system made just for playing
Try a Google Search
Try searching for similar questions
Browse our recent questions
Browse our popular tags
If you feel something is missing that should be here, contact us.