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