Template:Metalogic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	44149415 (xsd:integer)
dbo:wikiPageRevisionID	1042878003 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Navbox dbt:Logic_templates dbt:Collapsible_option dbt:Documentation
prov:wasDerivedFrom	wikipedia-en:Template:Metalogic?oldid=1042878003&ns=10
is dbo:wikiPageRedirects of	dbt:Metamathematics
is dbp:wikiPageUsesTemplate of	dbr:Cantor's_theorem dbr:Entscheidungsproblem dbr:Metalogic dbr:Metamathematics dbr:Metatheorem dbr:Decidability_(logic) dbr:Interpretation_(logic) dbr:Consistency dbr:Church–Turing_thesis dbr:Equiconsistency dbr:Löwenheim–Skolem_theorem dbr:Gödel's_completeness_theorem dbr:Foundations_of_geometry dbr:Foundations_of_mathematics dbr:Gödel's_incompleteness_theorems dbr:Effective_method dbr:Satisfiability dbr:Soundness dbr:Use–mention_distinction dbr:Type–token_distinction dbr:Tarski's_undefinability_theorem

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License