4,781
edits
Changes
Jump to navigation
Jump to search
mLine 1:
Line 1: − + Line 15:
Line 15: + + + +
reflist
In [[mathematics]], '''Zermelo-Fraenkel set theory''' ('''ZFC''') is the standard formal axiomatization of axiomatic [[set theory]]. It is commonly considered the foundation of modern mathematics.<ref>mathworld.wolfram.com/Zermelo-FraenkelAxioms.html</ref> It was formulated by two [[logician]]s, Zermelo and Fraenkel.
In [[mathematics]], '''Zermelo-Fraenkel set theory''' ('''ZFC''') is the standard formal axiomatization of axiomatic [[set theory]]. It is commonly considered the foundation of modern mathematics.<ref>[http://mathworld.wolfram.com/Zermelo-FraenkelAxioms.html Mathworld]</ref> It was formulated by two [[logician]]s, Zermelo and Fraenkel.
The [[axiom]]s include the [[Axiom of Choice]], however mathematicians who find this axiom questionable often replace it with the more sound [[Axiom of Determinacy]].
The [[axiom]]s include the [[Axiom of Choice]], however mathematicians who find this axiom questionable often replace it with the more sound [[Axiom of Determinacy]].
* [[Axiom of Foundation]]
* [[Axiom of Foundation]]
* [[Axiom of Choice]]
* [[Axiom of Choice]]
====References====
{{reflist}}
[[Category:Logic]][[Category:Mathematics]]
[[Category:Logic]][[Category:Mathematics]]