Editing Zermelo–Fraenkel set theory (section)

== Bibliography ==
{{refbegin|30em}}
*{{cite book| title = The Theory of Sets and Transfinite Arithmetic
 | last = Abian | first = Alexander | year = 1965
 | author-link = Alexander Abian
 | publisher = W B Saunders
 | url = https://archive.org/details/theoryofsetstran00abia | url-access = registration
}}
*{{cite journal | title = On the Consistency and Independence of Some Set-Theoretical Axioms
 | last1 = Abian | first1 = Alexander
 | last2 = LaMacchia | first2 = Samuel
 | author-mask = 3
 | journal = Notre Dame Journal of Formal Logic
 | year = 1978 | volume = 19 | pages = 155–58
 | doi = 10.1305/ndjfl/1093888220
 | doi-access = free
}}
*{{cite book| title = Axiomatic Set Theory
 | last1 = Bernays | first1 = Paul
 | last2 = Fraenkel | first2 = A.A.
 | publisher = North Holland | location = Amsterdam
 | url = https://archive.org/details/axiomaticsettheo0000bern | url-access = registration
 | date = 1958
}}
*{{cite book| title = Set Theory for the Working Mathematician
 | last = Ciesielski | first = Krzysztof
 | publisher = Cambridge University Press
 | url = https://books.google.com/books?id=tTEaMFvzhDAC
 | date = 1997
 | isbn = 0-521-59441-3
}}
*{{cite book| title = The Joy of Sets
 | last = Devlin | first = Keith | year = 1996
 | author-link = Keith Devlin
 | orig-year = First published 1984
 | publisher = [[Springer Science+Business Media|Springer]]
}}
*{{cite book| title = Ernst Zermelo: An Approach to His Life and Work
 | last = Ebbinghaus | first = Heinz-Dieter | year = 2007
 | author-link = Heinz-Dieter Ebbinghaus
 | publisher = Springer
 | isbn = 978-3-540-49551-2
}}
*{{cite book| chapter = Gödel's program for new axioms: why, where, how and what?
 | last = Feferman | first = Solomon | year = 1996
 | author-link = Solomon Feferman
 | title = Gödel '96: Logical foundations of mathematics, computer science and physics–Kurt Gödel's legacy
 | editor-last = Hájek | editor-first = Petr | editor-link = Petr Hájek
 | publisher = Springer-Verlag
 | chapter-url = https://projecteuclid.org/euclid.lnl/1235417011
 | url = https://projecteuclid.org/euclid.lnl/1235417007
 | pages = 3–22
 | isbn = 3-540-61434-6
}}.
*{{cite book| title = Foundations of Set Theory
 | last1 = Fraenkel | first1 = Abraham
 | last2 = Bar-Hillel | first2 = Yehoshua
 | last3 = Lévy | first3 = Azriel
 | author1-link = Abraham Fraenkel
 | author2-link = Yehoshua Bar-Hillel
 | author3-link = Azriel Lévy
 | year = 1973 | orig-year = First published 1958
 | publisher = [[North-Holland Publishing Company|North-Holland]]
}} Fraenkel's final word on ZF and ZFC.
*{{cite book| title = Combinatorial Set Theory: With a Gentle Introduction to Forcing
 | last = Halbeisen | first = Lorenz J. | year = 2011
 | publisher = Springer
 | url = https://books.google.com/books?id=NZVb54INnywC&pg=PA62
 | pages = 62–63
 | isbn = 978-1-4471-2172-5
}}
*{{cite book| title = The Logical Foundations of Mathematics
 | last = Hatcher | first = William | year = 1982
 | orig-year = First published 1968
 | publisher = [[Pergamon Press]]
}}
*{{Cite book| title = From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931
 | last = van Heijenoort | first = Jean | year = 1967
 | publisher = [[Harvard University Press]]
}} Includes annotated English translations of the classic articles by [[Zermelo]], [[Abraham Fraenkel|Fraenkel]], and [[Skolem]] bearing on '''ZFC'''.
*{{cite book| title = Fundamentals of Mathematical Logic
 | last = Hinman | first = Peter | year = 2005
 | publisher = [[A K Peters]]
 | isbn = 978-1-56881-262-5
}}
*{{cite book| title = Set Theory: The Third Millennium Edition, Revised and Expanded
 | last = Jech | first = Thomas | year = 2003
 | author-link = Thomas Jech
 | publisher = Springer
 | isbn = 3-540-44085-2
}}
*{{cite book| title = Set Theory: An Introduction to Independence Proofs
 | last = Kunen | first = Kenneth | year = 1980
 | author-link = Kenneth Kunen
 | publisher = [[Elsevier]]
 | url = https://archive.org/details/settheoryintrodu0000kune | url-access = registration
 | isbn = 0-444-86839-9
}}
*{{cite book| title = The Foundations of Mathematics
 | last = Kunen | first = Kenneth | date = 29 October 2007
 | author-link = Kenneth Kunen
 | url = https://people.math.wisc.edu/~awmille1/old/m771-10/kunen770.pdf
 | archive-url = https://web.archive.org/web/20230907154421/https://people.math.wisc.edu/~awmille1/old/m771-10/kunen770.pdf
 | archive-date = 7 September 2023 | url-status = live
}}
*{{cite book| title = Basic Set Theory
 | last = Levy | first = Azriel
 | publisher = Dover Publications
 | date = 2002
 | isbn = 048642079-5
}}
*{{cite book| title = Formalism and Beyond: On the Nature of Mathematical Discourse
 | last = Link | first = Godehard
 | publisher = Walter de Gruyter GmbH & Co KG
 | date = 2014
 | isbn = 978-1-61451-829-7
}}
*{{cite book| chapter = Semantical closure and non-finite axiomatizability
 | last = Montague | first = Richard | year = 1961
 | author-link = Richard Montague
 | title = Infinistic Methods
 | publisher = Pergamon Press | location = London
 | pages = 45–69
}}
*{{cite book| title = Set Theory and Its Logic | edition = Revised
 | last = Quine | first = Willard van Orman
 | publisher = The Belknap Press of Harvard University Press | location = Cambridge, Massachusetts and London, England
 | url = https://archive.org/details/settheoryitslogi0000quin_j8m3 | url-access = registration
 | date = 1969
 | isbn = 0-674-80207-1
}}
*{{cite book| chapter = Axioms of set theory
 | last = Shoenfield | first = Joseph R. | year = 1977
 | author-link = Joseph R. Shoenfield
 | title = Handbook of Mathematical Logic
 | publisher = North-Holland Publishing Company | editor-last = Barwise | editor-first = K. J. | editor-link = Jon Barwise
 | url = https://archive.org/details/handbookofmathem0090unse | url-access = registration
 | isbn = 0-7204-2285-X
}}
*{{cite book| title = Mathematical Logic | edition = 2nd
 | last = Shoenfield | first = Joseph R. | year = 2001
 | author-link = Joseph R. Shoenfield
 | orig-year = First published 1967
 | publisher = [[A K Peters]]
 | isbn = 978-1-56881-135-2
}}
*{{Cite book| title = Axiomatic Set Theory
 | last = Suppes | first = Patrick | year = 1972
 | author-link = Patrick Suppes
 | orig-year = First published 1960
 | publisher = Dover reprint
}}
*{{Cite book| title = Introduction to Axiomatic Set Theory
 | last1 = Takeuti | first1 = Gaisi
 | last2 = Zaring | first2 = W M
 | author1-link = Gaisi Takeuti
 | year = 1971
 | publisher = [[Springer-Verlag]]
}}
*{{cite book| title = Introduction to Axiomatic Set Theory
 | last1 = Takeuti | first1 = Gaisi
 | last2 = Zaring | first2 = W M
 | year = 1982
 | publisher = Springer | isbn = 9780387906836 | url = https://archive.org/details/introductiontoax00take | url-access = registration
}}
*{{cite journal | title = On well-ordered subsets of any set
 | last = Tarski | first = Alfred
 | author-link = Alfred Tarski
 | journal = [[Fundamenta Mathematicae]]
 | year = 1939 | volume = 32 | pages = 176–83
| doi = 10.4064/fm-32-1-176-783 | doi-access = free}}
*{{Cite book| title = The Philosophy of Set Theory
 | last = Tiles | first = Mary | year = 1989
 | publisher = Dover reprint
}}
*{{Cite book| title = Lectures in Logic and Set Theory, Vol. 2
 | last = Tourlakis | first = George | year = 2003
 | publisher = [[Cambridge University Press]]
}}
*{{cite magazine| title = To Settle Infinity Dispute, a New Law of Logic
 | last = Wolchover | first = Natalie | year = 2013
 | magazine = [[Quanta Magazine]]
 | url = https://www.quantamagazine.org/to-settle-infinity-question-a-new-law-of-mathematics-20131126
}}.
*{{cite journal | title = Untersuchungen über die Grundlagen der Mengenlehre I
 | last = Zermelo | first = Ernst
 | author-link = Ernst Zermelo
 | journal = [[Mathematische Annalen]]
 | year = 1908 | volume = 65 | issue = 2 | pages = 261–281
 | url = http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1
 | doi = 10.1007/BF01449999
| s2cid = 120085563 }} English translation in {{cite book| chapter = Investigations in the foundations of set theory
 | last = Heijenoort | first = Jean van | year = 1967
 | author-link = Jean van Heijenoort
 | title = From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931
 | publisher = Harvard University Press
 | series = Source Books in the History of the Sciences
 | pages = 199–215
 | isbn = 978-0-674-32449-7
}}
*{{Cite journal | title = Über Grenzzahlen und Mengenbereiche
 | last = Zermelo | first = Ernst
 | author-link = Ernst Zermelo
 | journal = [[Fundamenta Mathematicae]]
 | year = 1930 | volume = 16 | pages = 29–47
 | doi = 10.4064/fm-16-1-29-47 | issn = 0016-2736
| doi-access = free
 }}
{{refend}}