OurBigBook Wikipedia Bot
Documentation
Foundations of mathematics
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
toc
wiki
nosplit
articles:
42
Table of contents
42
1. Theorems in the foundations of mathematics
link
nosplit
Foundations of mathematics
35
1.1. Lemmas in set theory
link
nosplit
Theorems in the foundations of mathematics
6
1.1.1. Condensation lemma
link
nosplit
Lemmas in set theory
1.1.2. Fodor's lemma
link
nosplit
Lemmas in set theory
1.1.3. Moschovakis coding lemma
link
nosplit
Lemmas in set theory
1.1.4. Mostowski collapse lemma
link
nosplit
Lemmas in set theory
1.1.5. Rasiowa–Sikorski lemma
link
nosplit
Lemmas in set theory
1.1.6. Zorn's lemma
link
nosplit
Lemmas in set theory
1.2. Barwise compactness theorem
link
nosplit
Theorems in the foundations of mathematics
1.3. Borel determinacy theorem
link
nosplit
Theorems in the foundations of mathematics
1.4. Bourbaki–Witt theorem
link
nosplit
Theorems in the foundations of mathematics
1.5. Codd's theorem
link
nosplit
Theorems in the foundations of mathematics
1.6. Completeness of atomic initial sequents
link
nosplit
Theorems in the foundations of mathematics
1.7. Craig's theorem
link
nosplit
Theorems in the foundations of mathematics
1.8. Cut-elimination theorem
link
nosplit
Theorems in the foundations of mathematics
1.9. Deduction theorem
link
nosplit
Theorems in the foundations of mathematics
1.10. Extension by new constant and function names
link
nosplit
Theorems in the foundations of mathematics
1.11. Frege's theorem
link
nosplit
Theorems in the foundations of mathematics
1.12. Gödel's speed-up theorem
link
nosplit
Theorems in the foundations of mathematics
1.13. Herbrand's theorem
link
nosplit
Theorems in the foundations of mathematics
1.14. Kanamori–McAloon theorem
link
nosplit
Theorems in the foundations of mathematics
1.15. Kleene's recursion theorem
link
nosplit
Theorems in the foundations of mathematics
1.16. Knaster–Tarski theorem
link
nosplit
Theorems in the foundations of mathematics
1.17. Lindström's theorem
link
nosplit
Theorems in the foundations of mathematics
1.18. Lusin's separation theorem
link
nosplit
Theorems in the foundations of mathematics
1.19. Löb's theorem
link
nosplit
Theorems in the foundations of mathematics
1.20. Paris–Harrington theorem
link
nosplit
Theorems in the foundations of mathematics
1.21. Post's theorem
link
nosplit
Theorems in the foundations of mathematics
1.22. Rice's theorem
link
nosplit
Theorems in the foundations of mathematics
1.23. Rice–Shapiro theorem
link
nosplit
Theorems in the foundations of mathematics
1.24. Richardson's theorem
link
nosplit
Theorems in the foundations of mathematics
1.25. Robinson's joint consistency theorem
link
nosplit
Theorems in the foundations of mathematics
1.26. Schröder–Bernstein theorem for measurable spaces
link
nosplit
Theorems in the foundations of mathematics
1.27. Szpilrajn extension theorem
link
nosplit
Theorems in the foundations of mathematics
1.28. Tarski's undefinability theorem
link
nosplit
Theorems in the foundations of mathematics
1.29. Well-ordering theorem
link
nosplit
Theorems in the foundations of mathematics
2. Axiom of reducibility
link
nosplit
Foundations of mathematics
3. Dependent type
link
nosplit
Foundations of mathematics
4. Multiverse (set theory)
link
nosplit
Foundations of mathematics
5. Relationship between mathematics and physics
link
nosplit
Foundations of mathematics
6. Univalent foundations
link
nosplit
Foundations of mathematics
7. Zermelo–Fraenkel set theory
link
nosplit
Foundations of mathematics
Ancestors
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot