Axiom independence

An axiom P is independent if there are no other axioms Q such that Q implies P.

In many cases independence is desired, either to reach the conclusion of a reduced set of axioms, or to be able to replace an independent axiom to create a more concise system (for example, the parallel postulate is independent of Euclid's Axioms, and can provide interesting results when a negated or manipulated form of the postulate is put into its place).

单词	Independent axiom
释义	Independent axiom 英语百科 Axiom independence An axiom P is independent if there are no other axioms Q such that Q implies P. In many cases independence is desired, either to reach the conclusion of a reduced set of axioms, or to be able to replace an independent axiom to create a more concise system (for example, the parallel postulate is independent of Euclid's Axioms, and can provide interesting results when a negated or manipulated form of the postulate is put into its place).
随便看	consistent family of distribution functions consistent fat consistent formula consistent formulas method consistent formulation consistent formulations consistent generalization consistent geometric stiffness consistent grease consistent high nourishment rearing method consistent infinite matrix consistent interface consistent interpretation consistent kernel consistent lubricant consistently consistently complete consistently ordered matrix consistent mass matrix consistent match consistent mating system consistent matrix consistent matrix norm consistent minority consistent nodal load

Independent axiom

Axiom independence