◇◇新语丝(www.xys.org)(xys3.dxiong.com)(www.xysforum.org)(xys2.dropin.org)◇◇

　　希望常春藤更严谨一些

　　作者：太极螳螂

　　看了常春藤的"逻辑思维的登峰造极——康托关于无限的理论" ，写的不错。

　　有个小问题，按照常春藤的定义，这个"Derivative Set"应该是一般称之为
幂集的power set。

　　在Zermelo-Fraenkel公理系统里，有幂集公理，就是认为每个集合都存在幂
集。我们之中大多数人学过的数学都是在ZF公理系统下的。

　　Derivative Set在好像叫导集，是拓扑学里面的概念，二者有点"相似"。

(XYS20090131)

◇◇新语丝(www.xys.org)(xys3.dxiong.com)(www.xysforum.org)(xys2.dropin.org)◇◇