都是一知半解。
反方一辩是政治课代表。他站起来陈词:“既然这句话是人说的,我们就必须使用人类所能理解的逻辑来分析这句话的作者所陈述的道理。用集合论来表示的话,就是说如果我们想要构造一个包含所有可能出现的元素的集合a,这个集合就类似于全知全能的意思;那么,按照定义,这个集合也应该包含a自身,以及a的所有的子集。怎么通过数理逻辑的方式在里面构造一个悖论呢?一种是罗素悖论的路子,即构造一个a的子集,使得其中所有的元素都不是自己的元素,即b={x|x∈a,x不属于x},然后考虑b是否是b自己的元素。按照a的定义,这个幂集应当是a的子集,元素数量应当不超过a。然而通过康托对角线法,可以证明任何一个集合的幂集元素数都超过原集合元素数,就意味着a的子集中一定有不在在a之内的,也就与a的定义矛盾了。我们最终可以看出,“全知全能”这样的包含一切元素的集合在数理逻辑上最终是不自洽的,因此悖论的根本在于“全知全能”本身就不是一个良定义。现代的公理体系要求任何一个集合都必须是良基的,实际上排除了“全知全能”这样的集合存在。因此反方认为这个命题是个假命题。”
刚说完,梁兴疆突然大喊了一声:“好!”(未完待续)