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 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).
| Property | Value |
|---|
| dbpprop:abstract
|
- 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 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).
|
| dbpprop:hasPhotoCollection
| |
| rdfs:comment
|
- 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 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).
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
![[RDF Data]](/statics/sw-cube.png)
