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:
- Is there any proof assistant based on first-order logic?
- Does the axiom of specification prevent writing any proof?
- First-order logic without equality and set theory
- Show that the positive existential theory is undecidable
- Can Ackermann theory minus foundation minus class comprehension permit allowing every proper subclass of $V$ to be a set?
- Is acyclic ZF consistent?
- How exactly are realizability and the Curry-Howard correspondence related?
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.