如何用正则性公理证明一个集合不能将其自身作为元素最好严密些...

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/28 17:54:56

如何用正则性公理证明一个集合不能将其自身作为元素最好严密些...
如何用正则性公理证明一个集合不能将其自身作为元素
最好严密些...

如何用正则性公理证明一个集合不能将其自身作为元素最好严密些...
正则公理在一阶逻辑中可叙述如下:

翻译为较容易理解的说法就是:
所有非空集合 A 中至少有一个这样的元素 x ,它与A 本身的交集为空.即

从这个公理就可以得出“不存在以自身为元素的集合”,即你说的“一个集合不能将其自身作为元素"


详细证明一下:
反设 A 是一个集合,使得 A 是自身的一个元素,即:

这时,根据配对公理,可以构造出 B = {A},它也是一个集合.由于B中只有一个元素A,根据正则公理,我们得到:

但是根据我们的假定有



所以.这与正则公理相矛盾!
于是这样的A不是集合.





要是还不懂的话,看看这个

请具体你的问题。

如何用正则性公理证明一个集合不能将其自身作为元素最好严密些... 如何用正则表达式将一个文本域值中的全角小括号改为半角小括号不能删除括号内的文字 公理集合论认为集合不可以包含自身吗 关于集合论的一个问题集合论中通过正则公理可以推出A不等于{A} 那我设一个集合A={{3},A},而且假定{3}∩A为空集,这是为了令这一集合符合正则公理(对任意非空集合x,x至少有一元素y使x∩y 如果一个公理(欧氏几何)能用其他几个公理证明(证明无误,不用定理),这个命题能否称之为公理?如题.还要用必要的代数知识。如:HL公理可用SAS,ASA,SSS证明 javascript 如何用正则表达式去掉 2012-05-06,2012-05-22,2012-05-04 将其中的逗号替换成1个逗号逗号是连续的,并且要保留一个逗号,也就是说逗号的数量>2 时要替换成1个逗号 一个等腰三角形如何用一条直线将其分为2个等腰三角形?有几种方法? 欧几里得如何用10条公理公设推出所有定理 计算理论基础的问题证明:若一个集合的每一个子集都是上下文无关语言,那么这个集合是正则的. 如何用三个全等直角三角形证明勾股定理如何用一个直角三角形证明勾股定理 是不是不能证明的真命题就是公理 如何用排中律证明逆否命题与原命题等价.逆否命题与原命题等价,是公理.但与排中律等价,所以可以推出, PHP [NAME=>VALUE] 如何用正则表达式获取其中的NAME和VALUE?preg_split之类的函数都可以,获取到变量就可以了. 如何用自然语言描述集合? 如何用区间表示集合 如何用向量证明一个点在三角形内部 如何用向量证明一个点在三角形内部 如何用纸条折一个正五边形,怎么证明?