第三章-集合论 3.2-Russell 悖论（选读）
2017-12-05 17:48
218 查看
概括公理（axiom comprehension）（万有分类公理）
每个性质对应于一集合
基础公理（foundation axiom）
A 是一个非空集合，A 至少包含一个元素 x，它要么不是集合，要么是与 A 不同的集合
（1）反证，依据定义推矛盾
（2）若两者都不成立，则有 A∈B∈A
定义 P(x) 恒为真，集合 {x| P(x) is true} 为万有集合
每个性质对应于一集合
基础公理（foundation axiom）
A 是一个非空集合，A 至少包含一个元素 x，它要么不是集合，要么是与 A 不同的集合
习题
（1）反证，依据定义推矛盾
（2）若两者都不成立，则有 A∈B∈A
定义 P(x) 恒为真，集合 {x| P(x) is true} 为万有集合
内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理 
相关文章推荐
- 【第三章】 DI 之 3.2 循环依赖 ——跟我学spring3
- 【第三章】 DI 之 3.2 循环依赖 ——跟我学spring3
- 【第三章】 DI 之 3.2 循环依赖 ——跟我学spring3
- 【第三章】 DI 之 3.2 循环依赖 ——跟我学spring3
- 【第三章】 DI 之 3.2 循环依赖 ——跟我学spring3
- Data-Intensive Text Processing with MapReduce第三章（3）-MapReduce算法设计-3.2 PAIRS（对）和STRIPES（条纹）
- 【第三章】 DI 之 3.2 循环依赖 ——跟我学spring3
- apue第三章习题3.2 编写dup2功能相同的函数，要求不调用fcntl函数
- APUE 第三章习题 3.2 浅析
- 算法设计与分析：第三章 分治 3.2正整数划分
- MySQL 5.6 手册 第三章3.2 查询
- 编程之美第三章-3.2-电话号码以及对应的单词
- 第三章：3.2 get 请求
- 《机器学习实战》第三章 3.2 在Python中使用Matplotlib注解绘制树形图
- 《Spring 3.x 企业应用开发实战》学习笔记 第三章 IoC容器概述 3.2 相关Java基础知识 类装载器 反射机制
- 第三章 决策树 3.2 使用 Matplotlib 注解绘制树形图
- 第三章 3.2 文件共享入门简介 Introduction of File Sharing System
- 《Spring 3.x 企业应用开发实战》学习笔记 第三章 IoC容器概述 3.2 相关Java基础知识 类装载器 反射机制
- 基础集合论 第三章 2 自然数集
- Spring参考手册-第三章 IoC容器-3.2 基本概念-容器和Beans（豆子）