网站首页 百科知识
见“逻辑学”中的“公理集合论”。
为排除和避免悖论而构造的集合论公理化系统。最通用的集合论公理化系统是弗兰克尔和司寇伦于20世纪20年代对策梅罗的系统作若干改进基础上提出的ZF系统。该系统对于发展集合论是足够的，并且从中推不出任何一个已知的悖论。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。