Siteadmin, Check users, nsTeam1RO, nsTeam1RW, nsTeam1_talkRO, nsTeam1_talkRW, oversight, Administrators
30,650
edits
Changes
Jump to navigation
Jump to search
Line 1:
Line 1: − + − − 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]]. Line 15:
Line 13: + + +
Axiom of Choice questionable
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.
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 nine axioms in Zermelo-Fraenkel set theory are:
The nine axioms in Zermelo-Fraenkel set theory are:
* [[Axiom of Foundation]]
* [[Axiom of Foundation]]
* [[Axiom of Choice]]
* [[Axiom of Choice]]
Mathematicians who find the [[Axiom of Choice]], however this axiom questionable often replace it with the more sound [[Axiom of Determinacy]].
====References====
====References====