Editing Zermelo–Fraenkel set theory (section)

== External links ==
* {{YouTube
|id= AAJB9l-HAZs
|title= Axioms of set Theory - Lec 02 - Frederic Schuller
|t= 1h51m55s
}}
* {{springer|title=ZFC|id=p/z130100}}
* [[Stanford Encyclopedia of Philosophy]] articles by [[Joan Bagaria]]:
** {{Cite SEP
|url-id= set-theory
|title= Set Theory
|author-last= Bagaria
|author-first= Joan
|author-link= Joan Bagaria
|date= 31 January 2023
}}
** {{Cite encyclopedia
|url= https://plato.stanford.edu/entries/set-theory/ZF.html
|title= Axioms of Zermelo–Fraenkel Set Theory
|author-last= Bagaria
|author-first= Joan
|author-link= Joan Bagaria
|author-mask= 1
|editor-last= Zalta
|editor-first= Edward N.
|editor-link= Edward N. Zalta
|editor-mask= 1
|encyclopedia= [[Stanford Encyclopedia of Philosophy]]
|date= 31 January 2023
}}
* [http://us.metamath.org/mpegif/mmset.html#staxioms Metamath version of the ZFC axioms] — A concise and nonredundant axiomatization. The background [[first order logic]] is defined especially to facilitate machine verification of proofs.
** A [http://us.metamath.org/mpegif/axsep.html derivation] in [[Metamath]] of a version of the separation schema from a version of the replacement schema.
* {{MathWorld |title=Zermelo-Fraenkel Set Theory |id=Zermelo-FraenkelSetTheory}}

{{Set theory}}

{{Mathematical logic}}

{{DEFAULTSORT:Zermelo-Fraenkel Set Theory}}
[[Category:Foundations of mathematics]]
[[Category:Systems of set theory]]
[[Category:Z notation]]