公理化集合论

利用公理化的方法对朴素集合论加以研究的数学理论。又称公理集合论,数理逻辑的分支学科。它以形式化的方法建立集合论的公理系统为研究对象,目的是克服集合论中出现的悖论。集合论的公理化首先是由策梅洛(E.F.F.Zermelo,1871～ ......    （本文共 575 字 ）     [阅读本文] >>