About: Metatheorem

Property	Value
dbo:description	statement about a formal system proven in a metalanguage (en) твердження про формальну систему, доведене метамовою (uk)
dbo:wikiPageExternalLink	http://www.encyclopediaofmath.org/index.php/Meta-theorem
dbo:wikiPageWikiLink	dbr:Class_(set_theory) dbr:Quantifier_(logic) dbc:Mathematical_terminology dbr:Set_theory dbr:First-order_logic dbr:Set_(mathematics) dbr:Proof_theory dbr:Metatheory dbr:Deductive_system dbr:Formal_system dbr:Metamathematics dbr:Logic dbr:Metalanguage dbr:Primitive_recursive_arithmetic dbc:Metatheorems dbr:Axiom dbr:Von_Neumann–Bernays–Gödel_set_theory dbc:Metalogic dbr:Model_theory dbr:Use–mention_distinction dbr:Deduction_theorem dbr:Geoffrey_Hunter_(logician) dbr:Peano_arithmetic dbr:Consistency_proof dbr:Rules_of_inference
dbp:author	Barile, Margherita (en)
dbp:title	Metatheorem (en)
dbp:urlname	Metatheorem (en)
dbp:wikiPageUsesTemplate	dbt:About dbt:MathWorld dbt:Citation_needed dbt:Metalogic dbt:Short_description
dct:subject	dbc:Mathematical_terminology dbc:Metatheorems dbc:Metalogic
gold:hypernym	dbr:Statement
rdfs:label	Metatheorem (en) Métathéorème (fr) Metateorema (pt) Metastelling (nl) Метатеорема (ru) Метатеорема (uk) 元定理 (zh)
owl:sameAs	freebase:Metatheorem wikidata:Metatheorem dbpedia-nl:Metatheorem dbpedia-fr:Metatheorem dbpedia-zh:Metatheorem dbpedia-pt:Metatheorem dbpedia-ru:Metatheorem dbpedia-kk:Metatheorem dbpedia-uk:Metatheorem dbpedia-global:Metatheorem
prov:wasDerivedFrom	wikipedia-en:Metatheorem?oldid=1262691538&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Metatheorem
is dbo:wikiPageRedirects of	dbr:Meta-theorem
is dbo:wikiPageWikiLink of	dbr:Monotonicity_of_entailment dbr:Frege's_theorem dbr:Two-element_Boolean_algebra dbr:Metatheory dbr:Formal_system dbr:Metamathematics dbr:Metalanguage dbr:Index_of_philosophy_articles_(I–Q) dbr:Index_of_logic_articles dbr:Theory dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Theorem dbr:Judgment_(mathematical_logic) dbr:Deduction_theorem dbr:Outline_of_logic dbr:Meta-theorem
is gold:hypernym of	dbr:Frege's_theorem
is rdfs:seeAlso of	dbr:Metatheory
is foaf:primaryTopic of	wikipedia-en:Metatheorem