外延公理

wài yán gōng lǐ 
基本释义
[ wài yán gōng lǐ ]
  1. 在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理。在 Zermelo-Fraenkel 公理的形式语言中，它读作：给定任何集合A和任何集合B，A=B，当且仅当 给定任何集合x，x∈A当且仅当x∈B。 （这里的x是集合不是本质性的，但在ZF中所有东西都是集合。
英文翻译
  1. Extension axiom
网站简介 | 商务合作 | 版权声明 | 联系我们 | 网站地图

Copyright @ 2017 All Rights Reserved.