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:
- Using consistency to create new axioms in set theory
- Set theory and Model Theory
- Can you formulate a theory stating that a truth predicate does not exist for first order set theory?
- In what respect are univalent foundations "better" than set theory?
- Does every model of ZF-foundation have an extension, with no new well-founded sets, where every set is bijective with a well-founded set?
- Consequences of foundation/regularity in ordinary mathematics (over ZF–AF)?
- Set-theoretical foundations of Mathematics with only bounded quantifiers
- Category theory and set theory: just a different language, or different foundation of mathematics?
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.