infinity, axiom of


infinity, axiom of
Axiom needed in Russell's development of set theory to ensure that there are enough sets for the purposes of mathematics. In the theory of types, if there were only finitely many objects of the lowest type, then there would only be finite sets at any level. To avoid this Russell postulated that there are infinitely many individuals or objects of the lowest type, but the non-logical nature of this assumption was a grave obstacle to his logicist programme. In Zermelo–Fraenkel set theory the axiom asserts that there is a set of which the null set is a member, and such that if any set is a member, the union of it and its unit set is also a member: (∃S)(ø∈ S & (∀R)(R ∈ S) → R ? R ∈ S).

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • Axiom of infinity — In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of infinity is one of the axioms of Zermelo Fraenkel set theory. Formal statement In the formal language of the Zermelo Fraenkel axioms,… …   Wikipedia

  • Infinity — In mathematics, infinity is often used in contexts where it is treated as if it were a number (i.e., it counts or measures things: an infinite number of terms ) but it is a different type of number from the real numbers. Infinity is related to… …   Wikipedia

  • Axiom of empty set — In set theory, the axiom of empty set is one of the axioms of Zermelo–Fraenkel set theory and one of the axioms of Kripke–Platek set theory. Formal statement In the formal language of the Zermelo–Fraenkel axioms, the axiom reads::exist x, forall… …   Wikipedia

  • infinity — /in fin i tee/, n., pl. infinities. 1. the quality or state of being infinite. 2. something that is infinite. 3. infinite space, time, or quantity. 4. an infinite extent, amount, or number. 5. an indefinitely great amount or number. 6. Math. a.… …   Universalium

  • Axiom schema of replacement — In set theory, the axiom schema of replacement is a schema of axioms in Zermelo Fraenkel set theory (ZFC) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite… …   Wikipedia

  • Axiom of regularity — In mathematics, the axiom of regularity (also known as the axiom of foundation) is one of the axioms of Zermelo Fraenkel set theory and was introduced by harvtxt|von Neumann|1925. In first order logic the axiom reads::forall A (exists B (B in A)… …   Wikipedia

  • Axiom of pairing — In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of pairing is one of the axioms of Zermelo Fraenkel set theory. Formal statement In the formal language of the Zermelo Frankel axioms, the …   Wikipedia

  • Axiom of determinacy — The axiom of determinacy (abbreviated as AD) is a possible axiom for set theory introduced by Jan Mycielski and Hugo Steinhaus in 1962. It refers to certain two person games of length ω with perfect information. AD states that every such game in… …   Wikipedia

  • Infinity-Borel set — In set theory, a subset of a Polish space X is infin; Borel if itcan be obtained by starting with the open subsets of X, and transfinitely iterating the operations of complementation and wellordered union (but see the caveat below). Formal… …   Wikipedia

  • axiom — noun /ˈæks.i.əm/ a) A seemingly or necessary which is based on ; a or which cannot actually be proven or dis‐proven. b) A fundamental that serves as a basis for of other theorems. Example: A point has no mass; a line has no width. A plane is a… …   Wiktionary


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.