Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Theorems_in_the_foundations_of_mathematics> . }
Showing items 1 to 47 of
47
with 100 items per page.
- Banach–Tarski_paradox subject Category:Theorems_in_the_foundations_of_mathematics.
- Barwise_compactness_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Beck's_monadicity_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Borel_determinacy_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Bourbaki–Witt_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Cantor's_diagonal_argument subject Category:Theorems_in_the_foundations_of_mathematics.
- Cantor's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Cantor–Bernstein–Schroeder_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Church–Rosser_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Codd's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Compactness_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Completeness_of_atomic_initial_sequents subject Category:Theorems_in_the_foundations_of_mathematics.
- Compression_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Conservativity_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Craig's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Cut-elimination_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Deduction_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Easton's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Frege's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Goodstein's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Gödel's_completeness_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Gödel's_incompleteness_theorems subject Category:Theorems_in_the_foundations_of_mathematics.
- Gödel's_speed-up_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Halpern–Läuchli_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Herbrand's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Kanamori–McAloon_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Kleene's_recursion_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Knaster–Tarski_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- König's_theorem_(set_theory) subject Category:Theorems_in_the_foundations_of_mathematics.
- Lindström's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Lusin's_separation_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Löb's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Löwenheim–Skolem_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Morley's_categoricity_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Paris–Harrington_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Post's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Rice's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Rice–Shapiro_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Richardson's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Robinson's_joint_consistency_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Schröder–Bernstein_theorem_for_measurable_spaces subject Category:Theorems_in_the_foundations_of_mathematics.
- Szpilrajn_extension_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Tarski's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Tennenbaum's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Von_Neumann_paradox subject Category:Theorems_in_the_foundations_of_mathematics.
- Well-ordering_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Wilkie's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.