……深刻（比不动点的概念要深得多）——这就是为什么直到 20 世纪初才有人把它形式化。关于这个悖论的一个绝妙（且令人脑洞大开）的解释，可以看 Halmos 的《Naive Set Theory》（第 6 页底部）：http://sistemas.fciencias.unam.mx/~lokylog/images/stories/Al...
…deep (much deeper than the idea of a fixed point) -- that's why it took someone until the early 20th century to formalize it. For an awesome (and mind-blowing) explanation of the paradox, see Halmos' Naive Set Theory (botom of page 6): http://sistemas.fciencias.unam.mx/~lokylog/images/stories/Al...
……（Kiselev）* 《Calculus Made Easy》（Thompson）* 《How to Count without Counting》（Niven）* 《Introduction to Probability Theory》（Hoel）* 《The Little Schemer》（Friedman）然后进阶到更高级的教材，比如：* 《Naive Set Theory》（Halmos）* 《Linear Algebra Done Right》（Axler）* 《Geometry Revisited》（Coxeter）* 《Infinitesimal Calculus》（Keisler）* 《Concrete Mathematics》（Graham）* 《Information Theory, Inference and Learning》（MacKay）……
…(Kiselev) * Calculus Made Easy (Thompson) * How to Count without Counting (Niven) * Introduction to Probability Theory (Hoel) * The Little Schemer (Friedman) The proceed to more advanced texts like: * Naive Set Theory (Halmos) * Linear Algebra Done Right (Axler) * Geometry Revisited (Coxeter) * Infinitesimal Calculus (Keisler) * Concrete Mathematics (Graham) * Information Theory, Inference and Learning (MacKay)…
集合论（Set theory）：你绝对应该看看 Halmos 写的《Naive Set Theory》。别看书名带个 Naive（朴素），它完全是对 ZF 集合论的严格展开，还讨论了选择公理（AC）的含义及其等价命题。
Set theory: You should definitely look at Naive Set Theory by Halmos. Despite the name, it's totally rigorous development of ZF set theory with discussion on the meaning and equivalent statements of AC.
……https://www.zuj.edu.jo/download/linear-algebra-2nd-edition-k... Halmos 的《Finite Dimensional Vector Spaces》，George E. Forsythe 和 Cleve B. Moler 的《Computer Solution of Linear Algebraic Systems》，Paul R. Halmos 的《Naive Set Theory》（Van Nostrand, Princeton, NJ, 1960）。这本书出版后该领域又有不少新成果，但它依然是公理集合论极佳的入门书。所以，即便想深挖最新成果的人，最好也……
…https://www.zuj.edu.jo/download/linear-algebra-2nd-edition-k... Halmos, Finite Dimensional Vector Spaces George E. Forsythe and Cleve B. Moler, Computer Solution of Linear Algebraic Systems Paul R. Halmos, Naive Set Theory, Van Nostrand, Princeton, NJ, 1960. More has been done since this book, but this book is a gorgeous introduction to axiomatic set theory. So, even people who want to dig into the latest work would do…
……用于量化[8]，它们结合起来就构成了阶谓词逻辑（first order predicate logic）[9]。从那里你可以走向二阶逻辑，也可以走向集合论，从而开始探讨事物的集合。《Naive Set Theory》[10] 是一本很好的入门书，尽管你也可以直接跳到 ZFC 集合论[11] 来走公理化路线。关系代数（Relational algebra）对任何接触过……的人来说大体上都不陌生。
…for quantification[8], which combine to create first order predicate logic[9]. From their you can either go to second-order logic or to set theory in order to begin talking about collections of things. Naive Set Theory[10] is a good introductory book, although you can jump straight in to ZFC set theory[11] for an axiomatic approach. Relational algebra, which will be familiar in a loose sense to anyone who has ever…
……深刻（比不动点的概念要深得多）——这就是为什么直到 20 世纪初才有人把它形式化。关于这个悖论的一个绝妙（且令人脑洞大开）的解释，可以看 Halmos 的《Naive Set Theory》（第 6 页底部）：http://sistemas.fciencias.unam.mx/~lokylog/images/stories/Al...
…deep (much deeper than the idea of a fixed point) -- that's why it took someone until the early 20th century to formalize it. For an awesome (and mind-blowing) explanation of the paradox, see Halmos' Naive Set Theory (botom of page 6): http://sistemas.fciencias.unam.mx/~lokylog/images/stories/Al...
……（Kiselev）* 《Calculus Made Easy》（Thompson）* 《How to Count without Counting》（Niven）* 《Introduction to Probability Theory》（Hoel）* 《The Little Schemer》（Friedman）然后进阶到更高级的教材，比如：* 《Naive Set Theory》（Halmos）* 《Linear Algebra Done Right》（Axler）* 《Geometry Revisited》（Coxeter）* 《Infinitesimal Calculus》（Keisler）* 《Concrete Mathematics》（Graham）* 《Information Theory, Inference and Learning》（MacKay）……
…(Kiselev) * Calculus Made Easy (Thompson) * How to Count without Counting (Niven) * Introduction to Probability Theory (Hoel) * The Little Schemer (Friedman) The proceed to more advanced texts like: * Naive Set Theory (Halmos) * Linear Algebra Done Right (Axler) * Geometry Revisited (Coxeter) * Infinitesimal Calculus (Keisler) * Concrete Mathematics (Graham) * Information Theory, Inference and Learning (MacKay)…
集合论（Set theory）：你绝对应该看看 Halmos 写的《Naive Set Theory》。别看书名带个 Naive（朴素），它完全是对 ZF 集合论的严格展开，还讨论了选择公理（AC）的含义及其等价命题。
Set theory: You should definitely look at Naive Set Theory by Halmos. Despite the name, it's totally rigorous development of ZF set theory with discussion on the meaning and equivalent statements of AC.
……https://www.zuj.edu.jo/download/linear-algebra-2nd-edition-k... Halmos 的《Finite Dimensional Vector Spaces》，George E. Forsythe 和 Cleve B. Moler 的《Computer Solution of Linear Algebraic Systems》，Paul R. Halmos 的《Naive Set Theory》（Van Nostrand, Princeton, NJ, 1960）。这本书出版后该领域又有不少新成果，但它依然是公理集合论极佳的入门书。所以，即便想深挖最新成果的人，最好也……
…https://www.zuj.edu.jo/download/linear-algebra-2nd-edition-k... Halmos, Finite Dimensional Vector Spaces George E. Forsythe and Cleve B. Moler, Computer Solution of Linear Algebraic Systems Paul R. Halmos, Naive Set Theory, Van Nostrand, Princeton, NJ, 1960. More has been done since this book, but this book is a gorgeous introduction to axiomatic set theory. So, even people who want to dig into the latest work would do…
Paul R. Halmos 写的《Naive Set Theory》。
"Naive Set Theory" by Paul R. Halmos.
……用于量化[8]，它们结合起来就构成了阶谓词逻辑（first order predicate logic）[9]。从那里你可以走向二阶逻辑，也可以走向集合论，从而开始探讨事物的集合。《Naive Set Theory》[10] 是一本很好的入门书，尽管你也可以直接跳到 ZFC 集合论[11] 来走公理化路线。关系代数（Relational algebra）对任何接触过……的人来说大体上都不陌生。
…for quantification[8], which combine to create first order predicate logic[9]. From their you can either go to second-order logic or to set theory in order to begin talking about collections of things. Naive Set Theory[10] is a good introductory book, although you can jump straight in to ZFC set theory[11] for an axiomatic approach. Relational algebra, which will be familiar in a loose sense to anyone who has ever…