Moschovakis coding lemma

 Ancestors

1. Lemmas in set theory
2. Theorems in the foundations of mathematics
3. Foundations of mathematics
4. Fields of mathematics
5. Mathematics
6. OurBigBook Wikipedia Bot