OurBigBook Wikipedia Bot
Documentation
Theorems in the foundations of mathematics
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Foundations of mathematics
toc
wiki
split
articles:
35
Table of contents
35
1. Lemmas in set theory
link
split
Theorems in the foundations of mathematics
6
1.1. Condensation lemma
link
split
Lemmas in set theory
1.2. Fodor's lemma
link
split
Lemmas in set theory
1.3. Moschovakis coding lemma
link
split
Lemmas in set theory
1.4. Mostowski collapse lemma
link
split
Lemmas in set theory
1.5. Rasiowa–Sikorski lemma
link
split
Lemmas in set theory
1.6. Zorn's lemma
link
split
Lemmas in set theory
2. Barwise compactness theorem
link
split
Theorems in the foundations of mathematics
3. Borel determinacy theorem
link
split
Theorems in the foundations of mathematics
4. Bourbaki–Witt theorem
link
split
Theorems in the foundations of mathematics
5. Codd's theorem
link
split
Theorems in the foundations of mathematics
6. Completeness of atomic initial sequents
link
split
Theorems in the foundations of mathematics
7. Craig's theorem
link
split
Theorems in the foundations of mathematics
8. Cut-elimination theorem
link
split
Theorems in the foundations of mathematics
9. Deduction theorem
link
split
Theorems in the foundations of mathematics
10. Extension by new constant and function names
link
split
Theorems in the foundations of mathematics
11. Frege's theorem
link
split
Theorems in the foundations of mathematics
12. Gödel's speed-up theorem
link
split
Theorems in the foundations of mathematics
13. Herbrand's theorem
link
split
Theorems in the foundations of mathematics
14. Kanamori–McAloon theorem
link
split
Theorems in the foundations of mathematics
15. Kleene's recursion theorem
link
split
Theorems in the foundations of mathematics
16. Knaster–Tarski theorem
link
split
Theorems in the foundations of mathematics
17. Lindström's theorem
link
split
Theorems in the foundations of mathematics
18. Lusin's separation theorem
link
split
Theorems in the foundations of mathematics
19. Löb's theorem
link
split
Theorems in the foundations of mathematics
20. Paris–Harrington theorem
link
split
Theorems in the foundations of mathematics
21. Post's theorem
link
split
Theorems in the foundations of mathematics
22. Rice's theorem
link
split
Theorems in the foundations of mathematics
23. Rice–Shapiro theorem
link
split
Theorems in the foundations of mathematics
24. Richardson's theorem
link
split
Theorems in the foundations of mathematics
25. Robinson's joint consistency theorem
link
split
Theorems in the foundations of mathematics
26. Schröder–Bernstein theorem for measurable spaces
link
split
Theorems in the foundations of mathematics
27. Szpilrajn extension theorem
link
split
Theorems in the foundations of mathematics
28. Tarski's undefinability theorem
link
split
Theorems in the foundations of mathematics
29. Well-ordering theorem
link
split
Theorems in the foundations of mathematics
1. Lemmas in set theory
split
articles:
6
Theorems in the foundations of mathematics
toc
wiki
1.1. Condensation lemma
split
Lemmas in set theory
toc
wiki
1.2. Fodor's lemma
split
Lemmas in set theory
toc
wiki
1.3. Moschovakis coding lemma
split
Lemmas in set theory
toc
wiki
1.4. Mostowski collapse lemma
split
Lemmas in set theory
toc
wiki
1.5. Rasiowa–Sikorski lemma
split
Lemmas in set theory
toc
wiki
1.6. Zorn's lemma
split
Lemmas in set theory
toc
wiki
2. Barwise compactness theorem
split
Theorems in the foundations of mathematics
toc
wiki
3. Borel determinacy theorem
split
Theorems in the foundations of mathematics
toc
wiki
4. Bourbaki–Witt theorem
split
Theorems in the foundations of mathematics
toc
wiki
5. Codd's theorem
split
Theorems in the foundations of mathematics
toc
wiki
6. Completeness of atomic initial sequents
split
Theorems in the foundations of mathematics
toc
wiki
7. Craig's theorem
split
Theorems in the foundations of mathematics
toc
wiki
8. Cut-elimination theorem
split
Theorems in the foundations of mathematics
toc
wiki
9. Deduction theorem
split
Theorems in the foundations of mathematics
toc
wiki
10. Extension by new constant and function names
split
Theorems in the foundations of mathematics
toc
wiki
11. Frege's theorem
split
Theorems in the foundations of mathematics
toc
wiki
12. Gödel's speed-up theorem
split
Theorems in the foundations of mathematics
toc
wiki
13. Herbrand's theorem
split
Theorems in the foundations of mathematics
toc
wiki
14. Kanamori–McAloon theorem
split
Theorems in the foundations of mathematics
toc
wiki
15. Kleene's recursion theorem
split
Theorems in the foundations of mathematics
toc
wiki
16. Knaster–Tarski theorem
split
Theorems in the foundations of mathematics
toc
wiki
17. Lindström's theorem
split
Theorems in the foundations of mathematics
toc
wiki
18. Lusin's separation theorem
split
Theorems in the foundations of mathematics
toc
wiki
19. Löb's theorem
split
Theorems in the foundations of mathematics
toc
wiki
20. Paris–Harrington theorem
split
Theorems in the foundations of mathematics
toc
wiki
21. Post's theorem
split
Theorems in the foundations of mathematics
toc
wiki
22. Rice's theorem
split
Theorems in the foundations of mathematics
toc
wiki
23. Rice–Shapiro theorem
split
Theorems in the foundations of mathematics
toc
wiki
24. Richardson's theorem
split
Theorems in the foundations of mathematics
toc
wiki
25. Robinson's joint consistency theorem
split
Theorems in the foundations of mathematics
toc
wiki
26. Schröder–Bernstein theorem for measurable spaces
split
Theorems in the foundations of mathematics
toc
wiki
27. Szpilrajn extension theorem
split
Theorems in the foundations of mathematics
toc
wiki
28. Tarski's undefinability theorem
split
Theorems in the foundations of mathematics
toc
wiki
29. Well-ordering theorem
split
Theorems in the foundations of mathematics
toc
wiki
Ancestors
Foundations of mathematics
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot