经过艰苦卓绝的战斗，笔者在西历2009年10月15日（仿SWB）终于攻克了卓里奇的第一章，笔者在学习的过程中发现书上的一些而问题还是非常有趣的，现总结如下：

　　罗素悖论：

　　罗素悖论的通俗表达是：在某个城市中有一位理发师，他的广告词是这样写的：“本人的理发技艺十分高超，誉满全城。我将为本城所有不给自己刮脸的人刮脸，我也只给这些人刮脸。我对各位表示热诚欢迎！”来找他刮脸的人络绎不绝，自然都是那些不给自己刮脸的人。可是，有一天，这位理发师从镜子里看见自己的胡子长了，他本能地抓起了剃刀，你们看他能不能给他自己刮脸呢？如果他不给自己刮脸，他就属于“不给自己刮脸的人”，他就要给自己刮脸，而如果他给自己刮脸呢？他又属于“给自己刮脸的人”，他就不该给自己刮脸。

　　我们将这个问题抽象化：设M为一集合，P(M)表示M“是不以自己作为元素的集”这样一种性质。考察具有性质P的集合的类K={M|P(M)}。如果K是集合，那么，或者P(K)为真，或者非P(K)为真。然而，两者择一对于K是不可能的。实际上，p(K)不成立，因为由K的定义推知K包含着K，即非P(K)为真，另一方面，非P(K)也是不可能真的，因为这就表示K包含着K，而这与K的定义，亦即，他是不含自身类那样的集合的类，相矛盾.因此，K不是集合。

　　罗素悖论是朴素集合论所导致的悖论之一，它导致了第三次数学危机，迫使人们建立了公理化集合系统。在该系统中，我们证明“一切集合的集合A”不存在（它是x∈x可以成立的充分条件），它正是罗素悖论中集合M的定义域，若它不存在，则由分出公理（对任何集合A及性质P，有这样的集合B，它所含的元素，是且仅是A中的那些具有性质P的元素），M没有来源，也不存在。下面来证明“一切集合的集合A”不存在：

　　先证明康托尔定理：用P(X)记X的一切子集构成的集，用cardX表示X的势，康托尔定理如下：cardX<cardP(X).证明：对于空集来说，上述结论显然成立，所以可设X≠空集。因为P(X)含有X的一切单元素子集，故cardX≤cardP(X),现只需证明两者不相等。若相等，假定f:X-P(X)是双射，考察集合A={x∈X|x不∈f(x)}，它由那样一些元素x∈X,x不含于它对应的集f(x)∈P(X),，组成的。因为A∈P(X)，所以必能找到一个元素a∈X,使f(a)=A,这个元素a∈X既不能有a∈A(据A的定义)，也不能有a不∈A（也是根据A的定义）,这与排中律矛盾。得证。

　　回过头来，若“一切集合的集合A”存在，由康托尔定理知cardA<cardP(A).但由A的定义知：P(A)是A的子集，故cardA≥cardP(A).矛盾！因此A不存在。