Consistency of Quine's New Foundations

2014/06/16 by Murdoch J. Gabbay, Gabbay, Murdoch J.
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

paper · pdf · doi:10.48550/arxiv.1406.4060

Abstract

We provide an elementary consistency proof of Quine's New Foundations, by a construction using interated nominal powersets.

Related

• The consistency strength of NFUB
• NF is Consistent
• A Revision Theoretic Model for NF
• Elements
• IV.—CONSISTENCY AND REAL INFERENCE