Page not found
This question was removed from Mathematics Stack Exchange 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:
- Is there a reasonably strong foundation for mathematics that can prove its own consistency?
- Is the Russell paradox formalizable in type theories?
- Foundations of mathematics , proof theory and analogies with internal mechanism of programming language
- Isn't definition of types in type theory as spaces, viewed from the perspective of homotopy theory a circular definition?
- Why can't you formulate Voevodsky's 2-theories in set theory if its the foundation of maths?
- Set Theory internal to other foundational systems
- Is there a distinction between rules of inference and axioms in Homotopy Type Theory (HoTT)?
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.