成语大全
外延公理
wài yán gōng lǐ
- 成语名称：外延公理（waiyangongli）
- 结构形式：ABCD式成语
- 组成汉字：外、延、公、理
- 成语解释：在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理。在 Zermelo-Fraenkel 公理的形式语言中，它读作：给定任何集合A和任何集合B，A=B，当且仅当 给定任何集合x，x∈A当且仅当x∈B。（这里的x是集合不是本质性的，但在ZF中所有东西都是集合。
相关成语大全(汉字：外 、延 、公 、理 )
外延公理其他相关