集合及其基数：集合；基数；相等基数；可数集；Cantor-Bernstein 定理；Cantor 定理；函数；基数运算 有序集：等价关系&次序关系；同构；良基的次序；超限归纳；Zermelo 定理；超限归纳与 Hamel 基；Zorn 引理及其应用；重返基数运算；序数；序数算术；递归定义和取幂；序数的应用