independent axiom

independent axiom
in a set of axioms, one that cannot be proved by using the others in the set.
[1900-05]

* * *


Universalium. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • independent axiom — Logic, Math. in a set of axioms, one that cannot be proved by using the others in the set. [1900 05] …   Useful english dictionary

  • Axiom independence — Basic Definition and Requirements= An axiom P is independent if there is no other axiom Q such that Q implies P.In many cases independency is desired, either to reach the conclusion of a reduced set of axioms, or to be able to replace an… …   Wikipedia

  • Axiom (record label) — Axiom was a record label founded by musician Bill Laswell in 1989, with the support of Chris Blackwell, founder of Island Records. Axiom was an independent subdivision of Blackwell s Island Records, with Laswell being afforded a budget for a… …   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 — 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 (computer algebra system) — Scratchpad redirects here. For scratchpad memory, see Scratchpad RAM. Axiom Developer(s) independent group of people Stable release September 2011 Operating system cross platform …   Wikipedia

  • 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 computer algebra system — Infobox Software name = Axiom developer = Independent group of people operating system = Cross Platform genre = Computer Algebra System license = modified BSD License website = [http://axiom.axiom developer.org Axiom Home Page] Axiom is a free… …   Wikipedia

  • axiom of choice — Math. the axiom of set theory that given any collection of disjoint sets, a set can be so constructed that it contains one element from each of the given sets. Also called Zermelo s axiom; esp. Brit., multiplicative axiom. * * * ▪ set theory… …   Universalium

  • Axiom (Australian band) — Infobox Musical artist Name = Axiom Img capt = Img size = Landscape = Background = group or band Birth name = Alias = Born = Died = Origin = Instrument = Genre = Rock Occupation = Years active = 1969–1971 Label = Parlophone(EMI) Warner Reprise… …   Wikipedia

Share the article and excerpts

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