Bertrand Russell (1872-1970) History of Western Philosophy BERTRAND RUSSELL 4口，1①，43，t夏，30Q0 Hengenng Wei hkweionjn.ed.cn Set Theory:Axioms and Operations 2019 1126 4/38
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Bertrand Russell (1872–1970) Hengfeng Wei (hfwei@nju.edu.cn) Set Theory: Axioms and Operations 2019 年 11 月 26 日 4 / 38
Bertrand Russell (1872-1970) History of PRINCIPIA Western MATHEMATICA Philosophy 帮 BERTRAND RUSSELL 4口，1①，43，t夏，30Q0 Hengfeng Wei (hfweionju.edu.cn Set Theory:Axioms and Operations 2019年11月26日4/38
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Bertrand Russell (1872–1970) Hengfeng Wei (hfwei@nju.edu.cn) Set Theory: Axioms and Operations 2019 年 11 月 26 日 4 / 38
Bertrand Russell (1872-1970) History of PRINCIPIA Western MATHEMATICA Philosophy 帮 BERTRAND RUSSELL 4口，￥厚，3，t5,30Q0 Hengfeng Wei (hfweionju.edu.cn Set Theory:Axioms and Operations 2019年11月26日4/38
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Bertrand Russell (1872–1970) Hengfeng Wei (hfwei@nju.edu.cn) Set Theory: Axioms and Operations 2019 年 11 月 26 日 4 / 38
我们将集合理解为任何将我们思想中那些确定而彼此独立的对 象放在一起而形成的聚合。 Georg Cantor《超穷数理论基础》 Georg Cantor (1845-1918) 4口，1①，43，t夏，30Q0 Hengfeng Wei (hfweinju.edu.cn Set Theory:Axioms and Operations 2019年11月26日5/38
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 我们将集合理解为任何将我们思想中那些确定而彼此独立的对 象放在一起而形成的聚合。 — Georg Cantor《超穷数理论基础》 Georg Cantor (1845–1918) Theorem (概括原则) For any predicate ψ(x), there is a set X: X = {x | ψ(x)} Hengfeng Wei (hfwei@nju.edu.cn) Set Theory: Axioms and Operations 2019 年 11 月 26 日 5 / 38
我们将集合理解为任何将我们思想中那些确定而彼此独立的对 象放在一起而形成的聚合。 Georg Cantor《超穷数理论基础》 Georg Cantor (1845-1918) Theorem(概括原则) For any predicate v(x),there is a set X: X={x|(x)} 4口·￥①，43，t夏，里Q0 Hengfeng Wei (hfwei&inju.edu.cn) Set Theory:Axioms and Operations 2019年11月26日5/38
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 我们将集合理解为任何将我们思想中那些确定而彼此独立的对 象放在一起而形成的聚合。 — Georg Cantor《超穷数理论基础》 Georg Cantor (1845–1918) Theorem (概括原则) For any predicate ψ(x), there is a set X: X = {x | ψ(x)} Hengfeng Wei (hfwei@nju.edu.cn) Set Theory: Axioms and Operations 2019 年 11 月 26 日 5 / 38