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 other axioms of Euclidean geometry, and provides interesting results when negated or replaced).
Attributes | Values |
---|
rdfs:label
| - Axiom independence (en)
- Independência de axiomas (pt)
|
rdfs:comment
| - 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 other axioms of Euclidean geometry, and provides interesting results when negated or replaced). (en)
- Um axioma P é independente caso não haja outros axiomas Q de maneira que Q implique P. Em muitos casos, a independência é desejada, seja para alcançar a conclusão de um conjunto reduzido de axiomas, seja para possibilitar a substituição de um axioma independente a fim de criar um sistema mais conciso (a título de exemplo, o postulado das paralelas é independente de outros axiomas da geometria euclidiana e fornece resultados interessantes quando é negado ou substituído). (pt)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - 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 other axioms of Euclidean geometry, and provides interesting results when negated or replaced). (en)
- Um axioma P é independente caso não haja outros axiomas Q de maneira que Q implique P. Em muitos casos, a independência é desejada, seja para alcançar a conclusão de um conjunto reduzido de axiomas, seja para possibilitar a substituição de um axioma independente a fim de criar um sistema mais conciso (a título de exemplo, o postulado das paralelas é independente de outros axiomas da geometria euclidiana e fornece resultados interessantes quando é negado ou substituído). (pt)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |