读过《Elementary Set Theory with a Universal Set》 🌕🌕🌕🌕🌕
从集合的概念开始，一路讲到不可达基数存在性的证明和分层lambda-演算的本书，在任何意义上都并不elementary，至少绝不适合作为标准集合论的替代被用作入门教材。NFU中一些基本概念的搭建都需要大量的脚手架，如果不是已经很熟悉标准处理同时又深谙背后的动因的话，几乎是不可能理解其中一些处理方式的。