好工具

首页> 汉语词典>

外延公理的意思-外延公理的拼音

汉语词典
外延公理的意思-外延公理的拼音

词:

外延公理

拼音:

[wài yán gōng lǐ]

解释:

在公理化集合论与使用它的逻辑、数学和计算机科学分支中,外延性公理或外延公理。在 Zermelo-Fraenkel 公理的形式语言中,它读作:给定任何集合A和任何集合B,A=B,当且仅当 给定任何集合x,x∈A当且仅当x∈B。(这里的x是集合不是本质性的,但在ZF中所有东西都是集合。