最近在查资料时注意到「外延公理」这个词，索性整理成一篇小笔记，方便以后查阅，也分享给同样感兴趣的朋友。
- 拼音
- wài yán gōng lǐ
- 字母
- wai yan gong li
- 首字母
- wygl
- 注音
- ㄨㄞˋ ㄧㄢˊ ㄍㄨㄥ ㄌㄧˇ
它是什么意思？
在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理。在 Zermelo-Fraenkel 公理的形式语言中，它读作：给定任何集合A和任何集合B，A=B，当且仅当 给定任何集合x，x∈A当且仅当x∈B。（这里的x是集合不是本质性的，但在ZF中所有东西都是集合。