外延公理的词语属性 拼音wi yn gng l拼音字母wai yan gong li拼音首字母wygl 外延公理的词语解释外延公理[ wi yn gng l ] 在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理。在 Zermelo-Fraenkel 公理的形式语言中，它读作：给定任何集合A和任何
公理集合论的词语属性 拼音gng l j h ln拼音字母gong li ji he lun拼音首字母gljhl 公理集合论的百科含义 公理集合论（axiomatic set theory），是数理逻辑的主要分支之一，是用公理化方法重建(朴素) 集合论的研究以及集合论的元数学和集合论的新的公理的研究。19世纪70年代，
