A First Course In Mathematical Logic And Set Th... Link

: Well-Ordering Theorem; Cantor–Schröder–Bernstein Theorem; Burali-Forti Paradox. Comparison of Popular Introductory Texts

While O'Leary's text is comprehensive, other common "First Course" options serve different academic needs: A First Course in Mathematical Logic and Set Theory | Wiley A First Course in Mathematical Logic and Set Th...

The curriculum typically follows a progression from basic logical structures to advanced foundational theorems: : Well-Ordering Theorem

The course provides coverage of several landmark results in mathematical foundations: A First Course in Mathematical Logic and Set Th...