网站首页 词典首页
见“逻辑学”中的“公理集合论”。
为排除和避免悖论而构造的集合论公理化系统。最通用的集合论公理化系统是弗兰克尔和司寇伦于20世纪20年代对策梅罗的系统作若干改进基础上提出的ZF系统。该系统对于发展集合论是足够的，并且从中推不出任何一个已知的悖论。
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。