CBuilder: 貌似跟理发师悖论差不多的意思,"理发师说要给所有不给自己理发的人理发",这个理发师究竟该不该给自己理发. [阅读: 254] 2008-10-08 02:27:09 任何相容的形式体系不能用于证明它本身的相容性。 拒绝显摆。