Axiom of constructibility
Axiom of constructibility The axiom of constructibility is a possible axiom for set theory in mathematics. It ...
http://en.wikipedia.org/wiki/Axiom_of_constructibility - 2k - Cached - Similar pages

Axiomatic set theory
... say that Cantor was tacitly using the axiom of extensionality, the axiom of infinity, and the axiom schema of (unrestricted) comprehension. Some do not ... 1908. He included in this system the axiom of choice, a controversial axiom that he needed to prove the ...
http://en.wikipedia.org/wiki/Axiomatic_set_theory - 32k - Cached - Similar pages

List of mathematics articles (A-C)
... Average -- Axial ratio -- Axiality -- Axiality and rhombicity -- Axiom -- Axiom computer algebra system -- Axiom of Archimedes -- Axiom of choice -- Axiom of constructibility -- Axiom of countability -- Axiom ...
http://en.wikipedia.org/wiki/List_of_mathematics_articles_(A-C) - 101k - Cached - Similar pages

List of axioms
... by Wikipedia page. In epistemology, the word axiom is understood differently; see axiom and self-evidence. Individual axioms are almost ... de facto standard axioms for contemporary mathematics Axiom of extensionality Axiom of empty set Axiom of pairing Axiom of union Axiom ...
http://en.wikipedia.org/wiki/List_of_axioms - 3k - Cached - Similar pages

List of mathematics articles (A)
... Average -- Axial ratio -- Axiality -- Axiality and rhombicity -- Axiom -- Axiom computer algebra system -- Axiom of Archimedes -- Axiom of choice -- Axiom of constructibility -- Axiom of countability -- Axiom ...
http://en.wikipedia.org/wiki/List_of_mathematics_articles_(A) - 28k - Cached - Similar pages

Category:Axioms of set theory
... category does not necessarily imply that the axiom in question is an accepted axiom, or that it is believed to be ... in this section of this category. A Axiom of choice Axiom of constructibility Axiom of countable choice Axiom of ...
http://en.wikipedia.org/wiki/Category:Axioms_of_set_theory - 1k - Cached - Similar pages

User:Mathbot/Logged misspellings (old1)
... Autoregressive moving average model 37 outputed outputted Axiom of constructibility 38 turing Turing Axiom of constructibility 39 constitues constitutes Axiom 40 introdcution introduction Axiom 41 rigurous ...
http://en.wikipedia.org/wiki/User:Mathbot/Logged_misspellings_(old1) - 108k - Cached - Similar pages

Talk:Cantor's diagonal argument/Archive1
... countable sets is countable and, with the Axiom of Choice, the union of a countable ... 4) a very delicate assumption associated with axiom-of-choice mathematical existence in the construction ... indirectly related to the controversy with the axiom of choice --- simply stated, the latter presupposes ... We believe that the argument with the axiom of choice is not limited only to ... x. (3) An often misused example about axiom of choice is Bertrand Russel's ...
http://en.wikipedia.org/wiki/Talk:Cantor's_diagonal_argument/Archive1 - 189k - Cached - Similar pages

User talk:Arthur Rubin
... this form of set theory, and his axiom which conflates Replacement and Global Choice (what ... alternative formulation closer to the usual Replacement axiom). I would like to see both formulations ... I do think that von Neumann's axiom should appear in it, at least as ... was going to use my mother's axiom system (Set Theory for the Mathematician) for ... add a treatment of von Neumann's axiom suited to your mother's set, ...
http://en.wikipedia.org/wiki/User_talk:Arthur_Rubin - 35k - Cached - Similar pages

Universe (mathematics)
... S as a infinitary union, requires the axiom of replacement, which was added to Zermelo ... union V is a proper class. The axiom of foundation, which was added to ZF ... at around the same time as the axiom of replacement, says that every set belongs ... Gödel's constructible universe L and the axiom of constructibility Inaccessible cardinals yield models of ZF ...
http://en.wikipedia.org/wiki/Universe_(mathematics) - 21k - Cached - Similar pages