外延公理的意思和拼音

汉语词典

外延公理的意思和拼音

词：

外延公理

拼音：

[wài yán gōng lǐ]

解释：

在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理。在 Zermelo-Fraenkel 公理的形式语言中，它读作：给定任何集合A和任何集合B，A=B，当且仅当给定任何集合x，x∈A当且仅当x∈B。（这里的x是集合不是本质性的，但在ZF中所有东西都是集合。

词典又作“辞典“，是收集词汇按某种顺序排列并加以解释供人检查参考的工具书。有语文词典、专科词典和综合性词典之分。词典是用来解释词语的意义、概念、用法的工具书。广义的词典包括语文词典及各种以词语为收录单位的工具书。