- 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. Academic. 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