Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Metatheorems> . }
Showing items 1 to 17 of
17
with 100 items per page.
- Abstract_model_theory subject Category:Metatheorems.
- Barwise_compactness_theorem subject Category:Metatheorems.
- Compactness_theorem subject Category:Metatheorems.
- Courcelle's_theorem subject Category:Metatheorems.
- Deduction_theorem subject Category:Metatheorems.
- Entscheidungsproblem subject Category:Metatheorems.
- Frege's_theorem subject Category:Metatheorems.
- Gentzen's_consistency_proof subject Category:Metatheorems.
- Gödel's_completeness_theorem subject Category:Metatheorems.
- Gödel's_incompleteness_theorems subject Category:Metatheorems.
- Herbrand's_theorem subject Category:Metatheorems.
- Lindström's_theorem subject Category:Metatheorems.
- Löb's_theorem subject Category:Metatheorems.
- Löwenheim–Skolem_theorem subject Category:Metatheorems.
- Metatheorem subject Category:Metatheorems.
- Tarski's_undefinability_theorem subject Category:Metatheorems.
- Category:Theorems_in_the_foundations_of_mathematics broader Category:Metatheorems.