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