请问「外延公理」是什么意思?
2026-07-10 06:49:00
「外延公理」读音
拼音 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中所有东西都是集合。
推荐