引言 口集合论说是现代数学的基础理论 口集合、关系、函数、无穷等 口1900年国际数学大会 口H. Poincare:“借助集合论.可以建造数学大厦…今天我 们可以宣称绝对的严密已经实现了! 口随后发现了 Cantor集合论中的一些悖论 口如1901年的罗素悖论:“要给所有不自已理发的人理 发,不给所有自己理发的人理发” 口G. Frege评论:当大厦竣工时基础却动摇了引言  集合论说是现代数学的基础理论  集合、关系、函数、无穷等  1900年国际数学大会  H. Poincare:“借助集合论…可以建造数学大厦…今天我 们可以宣称绝对的严密已经实现了!”  随后发现了Cantor集合论中的一些悖论  如1901年的罗素悖论： “要给所有不自己理发的人理 发，不给所有自己理发的人理发”  G. Frege评论：当大厦竣工时基础却动摇了 4