proper axiom
Смотреть что такое "proper axiom" в других словарях:
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
Proper forcing axiom — In the mathematical field of set theory, the proper forcing axiom ( PFA ) is a significant strengthening of Martin s axiom, where forcings with the countable chain condition (ccc) are replaced by proper forcings. Statement A forcing or partially… … Wikipedia
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of … Wikipedia
Axiom schema of specification — For the separation axioms in topology, see separation axiom. In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom schema of specification, axiom schema of separation, subset axiom scheme or… … 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 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
Axiom of limitation of size — In class theories, the axiom of limitation of size says that for any class C , C is a proper class (a class which is not a set (an element of other classes)) if and only if V (the class of all sets) can be mapped one to one into C .:forall C… … Wikipedia
Axiom of global choice — In class theories, the axiom of global choice is a stronger variant of the axiom of choice which applies to proper classes as well as sets. Statement The axiom can be expressed in various ways which are equivalent: Weak form: Every class of… … Wikipedia
Martin's axiom — In the mathematical field of set theory, Martin s axiom, introduced by Donald A. Martin and Robert M. Solovay (1970), is a statement which is independent of the usual axioms of ZFC set theory. It is implied by the continuum hypothesis, so… … Wikipedia
Necessary and Proper Clause — United States of America This article is part of the series: United States Constitution Original text of the Constitution Preamble Articles of the Constitution I · … Wikipedia
