axiom of extensionality
... 外延定义 denotative definition 外延公理 axiom of extensionality 外延函数 extensive function ...
基于2300个网页-相关网页
外延公理
基于1个网页-相关网页
根据集合论的外延公理 Axiom of Extension
外延性公理 [数] axiom of extensionality ; extensionality axiom
·2,447,543篇论文数据,部分数据来源于NoteExpress
在公理化集合论与使用它的逻辑、数学和计算机科学分支中,外延性公理或外延公理。 在 Zermelo-Fraenkel 公理的形式语言中,它读作: 给定任何集合A和任何集合B,A=B,当且仅当【给定任何集合x,x∈A当且仅当x∈B。】 (这里的x是集合不是本质性的,但在ZF中所有东西都是集合。参见下面“带有基本元素的集合论”)。
详细内容
应用推荐
模块上移
模块下移
不移动