老美写的就是抽象

用集合论构建逻辑，看的我头大。硬着头皮读吧。

当初买这本书，就是看中了第二章讲了点无穷小分析。