羅素悖論和正則公理

假如我们在ZF集合论里加入这么一条公理:


概括公理:设对于每一个对象$x$,我们都有一个依赖于$x$的性质$P(x)$,则存在一个集合$\{x|P(x)\mbox{成立}\}$.使得$$y\in\{x|P(x)\mbox{成立}\}\Leftrightarrow P(y)\mbox{成立}$$.



这看上去是一条很好的公理,在高中教科书中事实上也是这么表述一个集合的.如果这条公理加入不会导致矛盾,那么集合论的公理体系会大大简化,具體會怎麼簡化見下面.


1.该公理等价于命题

 

存在一个由一切对象组成的集合.

 

 

证明:$\Rightarrow $根据概括公理,存在集合$\{x|x$是对象$\}$.


$\Leftarrow$已知$\{x|x$是对象$\}$存在,结合分離公理,可知集合$\{x|x$是对象且$x$满足性质$P(x)\}$存在.

 


2.利用概括公理可以证明ZF集合論裏的空集存在公理:我们让$P(x)$是一个假命题,即可得到一個空集.

 

而且,易得,利用概括公理能推出ZF公理裏的分離公理和代替公理(怎麼推?)可見,如果引入概括公理真的沒有矛盾的話,那簡直太好了.可惜天底下沒有這麼好的事情,概括公理能引出一個很大的矛盾,叫羅素悖論:

 

羅素悖論說,根據概括公理,存在這麼這麼一個集合$A$,$A$以所有不屬於自己的集合爲元素.比如,$\{1,2,\{1,2\}\}$不屬於自己,因此$\{1,2,\{1,2\}\}$屬於集合$A$.然後,羅素問道:集合A屬於自己嗎?

 

我們知道,根據ZF集合論裏的公理1 ,可知只有兩種情況,要麼A屬於自己,要麼A不屬於自己.易得兩種情形都導致矛盾(爲什麼?)可見,引入概括公理是不合適的.因此概括公理可以被廢除.

 

然 而僅僅是廢除概括公理還是不夠的.因爲廢除了概括公理,羅素悖論依然可以存在,只是“存在的根據消失了”(之所以說「存在的根據消失了」是因爲一旦廢除概 括公理,所有不屬於自己的集合便不一定能形成一個集合).爲此,我們要用一個公理徹底否定羅素悖論.這個公理就是正則公理:

若A是非空集合,则A中必含有元素,该元素或者不是集合,若是集合,则与A不相交.

我們來看看,如果缺失了正則公理,會發生什麼情況:我們就能構造一個非空集合 $A$ ,$A$ 的所有元素都是集合,且屬於A的集合都與$A$相交.則必有

$$\cdots A_5\in A_4\in A_3\in A_2\in A_1\in A$$

其中$A_1,A_2,A_3,A_4,A_5,A_6,\cdots$都是$A$的元素,且它們都是集合.這樣,我們就發現集合$A$是一個“沒有底”的砂鍋,這簡直是怪物,而不是我們所喜歡的集合.由此可見正則公理的重要性.

 

有了正則公理後,羅素悖論就徹底不合法了,因爲根據正則公理容易推出每個集合都不屬於自身(怎麼推?),因此羅素悖論裏問$A$是不是屬於自身就沒什麼意思了.正則公理也能否定下面這樣的情況的合法性:

集合$A$,$B$,$A\in B$,$B\in A$.

這種情況,從直覺上看,也是一種“沒有底的砂鍋”,下面我們來看看正則公理是怎麼排除這種情況的.構造一個集合$\{A,B\}$(根據的是axiom of pair),我們知道,$A$和$\{A,B\}$相交,$B$和$\{A,B\}$也相交.這與正則公理矛盾.

 

 

正则公理的一个应用(感谢哆嗒网网主雷霆):

所有单元素集(singleton set)形成的类不是一个集合.

这是因为,假如所有单元素集形成一个集合$A$.那么根据“集合能作为一个元素”这条公理,$\{A\}$也是一个单元素集.则$\{A\}\in A$.这与正则公理矛盾.

转载于:https://www.cnblogs.com/yeluqing/archive/2012/11/18/3827673.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/548243.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

openssl ssl_write 写错误

使用beast库中,调用async_read 异步写函数,会发生ssl_write错误,原因是openssl 限制了包大小,最大支持16KB的包,如果大于16KB的包,将会分成N个包.比如总包字节数为n,因此会被分成n/16 就等于发送对端的次数…

关于make_work_guard猜想

猜想&#xff1a;使用make_work_guard有可能是让io一直保活&#xff0c;不被当没有任务的时候&#xff0c;一直轮询&#xff0c;除非自己调用stop函数。欢迎大家留言&#xff0c;这只是我的猜想. #include<iostream> #include<boost/asio.hpp> #include <boost…

大流量 网站

引用&#xff1a;http://www.admin10000.com/document/948.html 动态应用&#xff0c;是相对于网站静态内容而言&#xff0c; 是指以c/c、php、Java、perl、.net等 服务器端语言开发的网络应用软件&#xff0c;比如论坛、网络相册、交友、BLOG等常见应用。动态应用系统通 常与数…

linux 虚拟机添加网卡

已经在vmware中安装了linux操作系统&#xff0c;由于要做双机热备测试&#xff0c;所以又给虚拟机添加了一块网卡&#xff0c;但是在linux里看不到这块添加的网卡。 1、在linux操作系统中&#xff0c;把ifcfg-eth0 cp一份出来&#xff0c;命名为&#xff1a;ifcfg-eth1&#xf…

关于thread不能被try catch

#include <iostream> #include <thread> int main() { try { //子线程不能抛异常 std::thread t([&]() { while (1){ std::this_thread::sleep_for(std::chrono::seconds(1)); } })…

Portal-Basic Java Web 应用开发框架:应用篇(十一) —— 整合 Spring

Portal-Basic Java Web应用开发框架&#xff08;简称 Portal-Basic&#xff09;是一套功能完备的高性能Full-Stack Web应用开发框架&#xff0c;内置稳定高效的MVC基础架构和DAO框架&#xff08;已内置Hibernate、MyBatis和JDBC支持&#xff09;&#xff0c;集成 Action拦截、F…

【杨中科】问苍天,微软的技术更新真的快吗

经常在网站上看到有人抱怨&#xff1a; “微软的技术怎么更新这么快&#xff0c;.Net2.0、3.0、3.5、4.0、4.5&#xff0c;我的妈呀&#xff0c;都跟不上微软的步伐了&#xff01;” “还没学会Silverlight3.0&#xff0c;Silverlight4.0就出来了&#xff0c;Silverlight4.0还没…

std::dynamic_pointer_cast细节用法

关于std::dynamic_pointer_cast的使用&#xff0c;只适合具有继承关系的使用&#xff0c;比如 class D:public B { }; 如果,B的指针指向D时&#xff0c;想用D里面的函数&#xff0c;而在B里面没有时&#xff0c;我们就会使用std::dynamic_pointer_cast函数&#xff0c;但是…

using 和typedef区别

using 可以用于模板别名&#xff0c;typedef 不可用于模板别名

Windows 8实用窍门系列:9.Windows 8中使用FlipView

FlipView控件类似于翻页控件&#xff0c;并且是现成的翻页按钮&#xff0c;你只需要为其增加数据项即可。本文讲述两种方式的FlipView项目和展示。 一&#xff1a;直接前台FlipViewItem <FlipView><FlipViewItem><Image Stretch"Uniform" Source"…

fstream

openmod : app 每次写入前寻位到流结尾 binary 以二进制模式打开 in 为读打开 out 为写打开 trunc 在打开时舍弃流的内容 ate 打开后立即寻位到流结尾 std::ifstream 读入 std::ostream 写出

冬季,拿什么来温暖你的心情

本文主要写了我在心情或者状态不好的时候如何恢复先前状态或者达到更佳的状态的方法&#xff0c;希望能引发读者的一些思考或带来一定的益处。如果有更好的方法或者我有做的不对或者不是最佳方法的地方&#xff0c;期待读者们的意见和建议。 两个多周没写文章了&#xff0c;最近…

Python获取命令行参数

sys.argv[] 包含命令行参数的字符串列表&#xff0c;通过下标获取参数。 例如: ?#!/usr/bin/python # Filename: using_sys.py import sys print The command line arguments are:for i in sys.argv: print i print \n\nThe PYTHONPATH is, sys.path, \n<BR><BR>p…

static用法

1.在函数内表示静态局部变量,作用域为静态存储区 2.在函数外全局区表示该标识符限定在本文件中可见 3.在类成员中表示静态成员

最牛X得“高考”作文

作文要求&#xff1a; "细雨湿衣看不见&#xff0c;闲花落地听无声"是唐朝诗人刘长卿在《别严士元》中的诗句。 曾经有人这样理解这句诗&#xff1a;1、这是歌颂春天的美好意境。2、闲花、细雨表达了不为人 知的寂寞。3、看不见、听不见不等于无所作为&…

结构体对齐

//按1个字节对齐 #pragma pack(push,1) struct MyStruct { std::uint32_t a; std::uint16_t b; }; #pragma pop size_t data_size sizeof(MyStruct); //占6个字节

SVN操作指南

http://blog.csdn.net/happy4nothing/article/details/376604#_Toc101751894

高性能服务器模型分类

高性能服务器的几种模型概念&#xff1a; actor模型&#xff1a; 实体之经过消息通信&#xff0c;各自处理本身的数据&#xff0c;可以实现这并行。 这种方式&#xff0c;有点相似rpc。 skynet是actor模型(听说是&#xff0c;具体没研究过) reactor模型&#xff1a; 1 向…

[人生百态]爱的样子

爱是只要一看到你,心里就觉得被裝的满满的爱是在看不到你的時候,默默想着你,默默念着你爱是听到你的声音就会觉得空气都是甜的爱是一闭上眼,浮现的全部是你的影子爱是一睁开眼,就希望你站在我面前爱是喜欢远远的,偷偷的凝视着你的身影爱是喜欢看着你的眼睛,因为这样的你眼里才只…

extern “C“解决链接问题

extern "C" 的作用是让 C 编译器将 extern "C" 声明的代码当作 C 语言代码处理&#xff0c;可以避免 C 因符号修饰导致代码不能和C语言库中的符号进行链接的问题。 extern "C" 使用 #ifdef __cplusplus extern "C" { #endifvoid *me…