Consistency of Quine's New Foundations
Weproveconsistency ofQuine’s NewFoundations byanultraﬁlter completion construction based ona combination ofiterated powersets models and a Cut-elimination proof. Additional Key Words and Phrases: Set theory, Quine’s New Foundations, Consistency