Set theory, logic, and their limitations
Mosheh Maḥover · Cambridge University Press eBooks · 1996
Mathematical induction 1. Sets and classes 2. Relations and functions 3. Cardinals 4. Ordinals 5. The axiom of choice 6. Finite cardinals and alephs 7. Propositional logic 8. First order logic 9. Facts from recursion theory 10. Limitative results Appendix: Skolem's paradox.