Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Metatheorem> ?p ?o }
Showing triples 1 to 55 of
55
with 100 triples per page.
- Metatheorem abstract "In logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory but not the object theory.A formal system is determined by a formal language and a deductive system (axioms and rules of inference). The formal system can be used to prove particular sentences of the formal language with that system. Metatheorems, however, are proved externally to the system in question, in its metatheory. Common metatheories used in logic are set theory (especially in model theory) and primitive recursive arithmetic (especially in proof theory). Rather than demonstrating particular sentences to be provable, metatheorems may show that each of a broad class of sentences can be proved, or show that certain sentences cannot be proved.".
- Metatheorem wikiPageExternalLink Meta-theorem.
- Metatheorem wikiPageID "5106151".
- Metatheorem wikiPageLength "2030".
- Metatheorem wikiPageOutDegree "21".
- Metatheorem wikiPageRevisionID "630175981".
- Metatheorem wikiPageWikiLink Axiom.
- Metatheorem wikiPageWikiLink Category:Mathematical_terminology.
- Metatheorem wikiPageWikiLink Category:Metalogic.
- Metatheorem wikiPageWikiLink Category:Metatheorems.
- Metatheorem wikiPageWikiLink Consistency.
- Metatheorem wikiPageWikiLink Consistency_proof.
- Metatheorem wikiPageWikiLink Deduction_theorem.
- Metatheorem wikiPageWikiLink Deductive_system.
- Metatheorem wikiPageWikiLink Formal_system.
- Metatheorem wikiPageWikiLink Geoffrey_Hunter_(logician).
- Metatheorem wikiPageWikiLink Logic.
- Metatheorem wikiPageWikiLink Metalanguage.
- Metatheorem wikiPageWikiLink Metamathematics.
- Metatheorem wikiPageWikiLink Metatheory.
- Metatheorem wikiPageWikiLink Model_theory.
- Metatheorem wikiPageWikiLink Object_theory.
- Metatheorem wikiPageWikiLink Primitive_recursive_arithmetic.
- Metatheorem wikiPageWikiLink Proof_theory.
- Metatheorem wikiPageWikiLink Rule_of_inference.
- Metatheorem wikiPageWikiLink Rules_of_inference.
- Metatheorem wikiPageWikiLink Set_theory.
- Metatheorem wikiPageWikiLink Use–mention_distinction.
- Metatheorem wikiPageWikiLinkText "Metatheorem".
- Metatheorem wikiPageWikiLinkText "metatheorem".
- Metatheorem author "Barile, Margherita".
- Metatheorem hasPhotoCollection Metatheorem.
- Metatheorem title "Metatheorem".
- Metatheorem urlname "Metatheorem".
- Metatheorem wikiPageUsesTemplate Template:About.
- Metatheorem wikiPageUsesTemplate Template:Citation_needed.
- Metatheorem wikiPageUsesTemplate Template:MathWorld.
- Metatheorem wikiPageUsesTemplate Template:Metalogic.
- Metatheorem subject Category:Mathematical_terminology.
- Metatheorem subject Category:Metalogic.
- Metatheorem subject Category:Metatheorems.
- Metatheorem hypernym Statement.
- Metatheorem type Article.
- Metatheorem type Article.
- Metatheorem type Theorem.
- Metatheorem type Concept.
- Metatheorem comment "In logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory but not the object theory.A formal system is determined by a formal language and a deductive system (axioms and rules of inference). The formal system can be used to prove particular sentences of the formal language with that system.".
- Metatheorem label "Metatheorem".
- Metatheorem sameAs Metastelling.
- Metatheorem sameAs Metateorema.
- Metatheorem sameAs m.0d2xnp.
- Metatheorem sameAs Q2384512.
- Metatheorem sameAs Q2384512.
- Metatheorem wasDerivedFrom Metatheorem?oldid=630175981.
- Metatheorem isPrimaryTopicOf Metatheorem.