Consistency of Quine's New Foundations
Murdoch J. Gabbay
TL;DR
This paper presents an elementary proof of the consistency of Quine's New Foundations set theory using a novel construction involving iterated nominal powersets.
Contribution
It introduces a new elementary consistency proof for Quine's New Foundations based on iterated nominal powersets, advancing the understanding of its foundational stability.
Findings
Proof confirms consistency of NF with the new method
Uses iterated nominal powersets for the construction
Simplifies previous complex proofs of NF's consistency
Abstract
We provide an elementary consistency proof of Quine's New Foundations, by a construction using interated nominal powersets.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, Reasoning, and Knowledge · Logic, programming, and type systems