APP 利用公理化的方法对朴素集合论加以研究的数学理论。又称公理集合论,数理逻辑的分支学科。它以形式化的方法建立集合论的公理系统为研究对象,目的是克服集合论中出现的悖论。集合论的公理化首先是由策梅洛(E.F.F.Zermelo,1871～ （本文共 575 字 ） [阅读本文] >>
海量资源，尽在掌握
利用公理化的方法对朴素集合论加以研究的数学理论。又称公理集合论,数理逻辑的分支学科。它以形式化的方法建立集合论的公理系统为研究对象,目的是克服集合论中出现的悖论。集合论的公理化首先是由策梅洛(E.F.F.Zermelo,1871～ （本文共 575 字 ） [阅读本文] >>
说明： 本文档由创作者上传发布，版权归属创作者。若内容存在侵权，请点击申诉举报
