悖论及其解决方案(3)

《悖论及其解决方案(3)》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、悖论及其解决方案(3)　　　　1908年，策梅罗采用把集合论公理化的方法来消除罗素悖论。他的著名论文《关于集合论基础的研究》是这样开始的：“集合论是这样一个数学分支，它的任务就是从数学上以最为简单的方式来研究数、序和函数等基本概念，并借此建立整个算术和分析的逻辑基础；因此构成了数学科学的必不可少的组成部分。但是在当前，这门学科的存在本身似乎受到某种矛盾或者悖论的威胁，而这些矛盾和悖论似乎是从它的根本原理导出来的。而且一直到现在，还没有找到适当的解决办法。面对着罗素关于‘所有不包含以自己为元素的集合的集合’的悖论，事实上，它今天似乎不能再容许任何逻辑上可以定义的概念’集

2、合’或’悖论及其解决方案(3)　　　　1908年，策梅罗采用把集合论公理化的方法来消除罗素悖论。他的著名论文《关于集合论基础的研究》是这样开始的：“集合论是这样一个数学分支，它的任务就是从数学上以最为简单的方式来研究数、序和函数等基本概念，并借此建立整个算术和分析的逻辑基础；因此构成了数学科学的必不可少的组成部分。但是在当前，这门学科的存在本身似乎受到某种矛盾或者悖论的威胁，而这些矛盾和悖论似乎是从它的根本原理导出来的。而且一直到现在，还没有找到适当的解决办法。面对着罗素关于‘所有不包含以自己为元素的集合的集合’的悖论，事实上，它今天似乎不能再容许任何逻辑上可以定义的

3、概念’集合’或’悖论及其解决方案(3)　　　　1908年，策梅罗采用把集合论公理化的方法来消除罗素悖论。他的著名论文《关于集合论基础的研究》是这样开始的：“集合论是这样一个数学分支，它的任务就是从数学上以最为简单的方式来研究数、序和函数等基本概念，并借此建立整个算术和分析的逻辑基础；因此构成了数学科学的必不可少的组成部分。但是在当前，这门学科的存在本身似乎受到某种矛盾或者悖论的威胁，而这些矛盾和悖论似乎是从它的根本原理导出来的。而且一直到现在，还没有找到适当的解决办法。面对着罗素关于‘所有不包含以自己为元素的集合的集合’的悖论，事实上，它今天似乎不能再容许任何逻辑上可

4、以定义的概念’集合’或’悖论及其解决方案(3)　　　　1908年，策梅罗采用把集合论公理化的方法来消除罗素悖论。他的著名论文《关于集合论基础的研究》是这样开始的：“集合论是这样一个数学分支，它的任务就是从数学上以最为简单的方式来研究数、序和函数等基本概念，并借此建立整个算术和分析的逻辑基础；因此构成了数学科学的必不可少的组成部分。但是在当前，这门学科的存在本身似乎受到某种矛盾或者悖论的威胁，而这些矛盾和悖论似乎是从它的根本原理导出来的。而且一直到现在，还没有找到适当的解决办法。面对着罗素关于‘所有不包含以自己为元素的集合的集合’的悖论，事实上，它今天似乎不能再容许任何

5、逻辑上可以定义的概念’集合’或’类’为其外延。康托尔原来把集合定义为我们直觉或者我们思考的确定的不同的对象做为一个总体。肯定要求加上某种限制，虽然到现在为止还没有成功地用另外同样简单的定义代替它，而不引起任何疑虑。在这种情况下，我们没有别的办法，而只能尝试反其道而行之。也就是从历史上存在的集合论出发，来得出一些原理，而这些原理是作为这门数学学科的基础所要求的。这个问题必须这样地解决，使得这些原理足够地狭窄，足以排除掉所有的矛盾。同时，又要足够地宽广，能够保留这个理论所有有价值的东西。”　　在这篇文章中，策梅罗实行的计划，是把集合论变成一个完全抽象的公理化理论。在这样一

6、个公理化理论中，集合这个概念一直不加定义，而它的性质就由公理反映出来。他不说什么是集合，而只讲从数学上怎样来处理它们，他引进七条公理：决定性公理、初等集合公理、分离公理、幂集公理、并集公理、选择公理、无穷公理。　　实际上策梅罗的公理系统Z把集合限制得使之不要太大，从而回避了比如说所有“对象”，所有序数等等，从而消除罗素悖论产生的条件。策梅罗不把集合只简单看成一些集团或集体，它是满足七条公理的条件的“对象”，这样排除了某些不适当的“集合”。特别是产生悖论的原因是定义集合的所谓内函公理组，如今已换成弱得多的分离公理组。　　策梅罗首次提出的集合论公理系统，意义是非常重大的。

7、但是，其中有许多缺点相毛病。比如：公理3的确定性质的含义并不清楚，他的公理没有涉及逻辑基础，选择公理有许多争议等等。后来经许多人加以严格处理及补充，才成为严格的公理系统，即ZF或ZFS系统。其中Z代表策梅罗，F代表弗兰克尔，S代表斯科兰姆。这里面特别是有斯科兰姆和弗兰克尔进行的改进。但是一般的ZF中往往不包括选择公理，如果加进选择公理则写为ZFC　　策梅罗的公理系统发表之后，遭到各方面的批评。特别是斯科兰姆1922年在8月份在赫尔辛基召开的第五届斯堪的纳维亚数学家大会上做了公理化集合论的报告，他对策梅罗公理系统提出了八点批评：　　1、为了讨论集合，我