外延公理

音义

本义

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

组词

外 延 公 理

相关

• 严伟斌
• 僻字涩句
• 俞云飞
• 卢霞
• 吴宇芳
• 周胜昔
• 嚼穿龈血
• 大渡岗茶场
• 多时相遥感
• 大宁路
• 太和庄
• 大城小贼
• 屠宰废水
• 廖梦楚
• 庄珠娣
• 广思集益
• 徂徕山
• 拉姆
• 意外访客
• 提要钩玄
• 无毛小叶栒子
• 春江苑
• 普林斯
• 杨家湾村
• 梅华波
• 毒燎虐焰
• 画如其人
• 真光路
• 碱基对
• 盐效应
• 红胖子
• 能量转化者
• 苏长林
• 蓝雁
• 許秀玲
• 论列是非
• 贡山裂腹鱼
• 谭建忠
• 赵海旭
• 许永跃
• 饱和湿度
• 高圆
• 鸡毛山
• 黄沙街镇
• 宫野艾雷娜
• 东京大浩劫
• 世界勤俭日
• 朴赞浩
• 三垒手
• 香菜花生