Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Axiom_independence> ?p ?o }
Showing triples 1 to 23 of
23
with 100 triples per page.
- Axiom_independence 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 Euclid's Axioms, and can provide interesting results when a negated or manipulated form of the postulate is put into its place).".
- Axiom_independence wikiPageID "6118589".
- Axiom_independence wikiPageLength "1606".
- Axiom_independence wikiPageOutDegree "6".
- Axiom_independence wikiPageRevisionID "571952361".
- Axiom_independence wikiPageWikiLink Axiom.
- Axiom_independence wikiPageWikiLink Category:Metalogic.
- Axiom_independence wikiPageWikiLink Consistency.
- Axiom_independence wikiPageWikiLink Euclid.
- Axiom_independence wikiPageWikiLink Forcing_(mathematics).
- Axiom_independence wikiPageWikiLink Logical_consequence.
- Axiom_independence wikiPageWikiLinkText "Axiom independence".
- Axiom_independence wikiPageWikiLinkText "axiom independence".
- Axiom_independence wikiPageUsesTemplate Template:PhilPapers.
- Axiom_independence wikiPageUsesTemplate Template:Reflist.
- Axiom_independence subject Category:Metalogic.
- Axiom_independence 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 Euclid's Axioms, and can provide interesting results when a negated or manipulated form of the postulate is put into its place).".
- Axiom_independence label "Axiom independence".
- Axiom_independence sameAs Q4830547.
- Axiom_independence sameAs m.0fr1fd.
- Axiom_independence sameAs Q4830547.
- Axiom_independence wasDerivedFrom Axiom_independence?oldid=571952361.
- Axiom_independence isPrimaryTopicOf Axiom_independence.