Mathematical Logic & Set Theory数理逻辑与集合论

From “what is a formula?” to large cardinals at the edge of consistency. Every idea is a picture you can touch. Assumes you already know Cantor's theorem and the diagonal method. 从“什么是公式”一路讲到处在一致性边缘的大基数。每个概念都是一张能上手摆弄的图。默认你已经掌握康托尔定理和对角线方法。