外延公理
（其他数学相关）
在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理是Zermelo-Fraenkel集合论的公理之一。在 Zermelo-Fraenkel 公理的形式语言中，它读作：给定任何集合A和任何集合B，A=B，当且仅当【给定任何集合x，x∈A当且仅当x∈B。】（这里的x是集合不是本质性的，但在ZF中所有东西都是集合。参见下面“带有基本元素的集合论”）。自然语言描述：
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0
/
0
题库进度：
0
/
0
技能进度：
0
/
关注级别：
取消关注
【参数模块正在开发当中】