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

第一个字为外的成语

第二个字为延的成语

第三个字为公的成语

第四个字为理的成语

相关成语大全(汉字: )

外延公理其他相关

按拼音查成语

ABCDEFGHJKLMNOPQRSTWXYZ
©2024 小娃子  版权所有  小娃子 育儿生活实用查询工具