迅狗狗汉语词典 聊天词典

请问「外延公理」是什么意思?

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中所有东西都是集合。

推荐