Abstract
Publisher Summary This chapter describes Zermelo–Fraenkel (ZF) set theory method with some modifications and applies it to a proof that the continuum hypothesis is independent of ZF. The language of ZF is the first order language with identity and with one binary predicate ɛ. The chapter denotes this language by L. The logical symbols, which are used, are defined. The chapter defines the logical symbols and eight axioms of ZF, including axiom of extensionality, existence of pairs, existence of unions, existence of power sets, existence of infinite sets, axiom of foundation, axiom scheme of comprehension, and axiom scheme of replacement. The meta-theory in which the chapter studies models of ZF will be the set theory ZFC enriched by one additional axiom SM due to Cohen.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
