|
|
[原创]实数可数性证明的一个问题
[这个贴子最后由ygqkarl在 2006/05/15 11:28am 第 1 次编辑]
★★★ “关键性”的突破 ★★★ 引用 [U]珠穆亚纳(第32楼)[/U] 的原话下面按“相容性 consistency”标准证明:也必须同时“承认”数学上的“罗素悖论”,即 AÏA 。这个证明过程中只涉及“定义”等。
①开始点:“承认” R(·,·)=“Ï”
②第一步:恢复“抽象”过程中“被省略”的对象A,即 [R(·,·)=“Ï”]∩[·=A];
③第二步:按“关系 aR(a,b)b”的定义格式写,即 [AR(A,A)A]∩[R(·,·)=“Ï”]∩[·=A];
④第三步:将 R(·,·)=“Ï” 这个“关系值”代入,即 AR(A,A)A →→ AÏA
⑤终点:“罗素悖论” AÏA
[B]请 [U]珠穆亚纳(第32楼)[/U] 检验这个“推理”过程,是否符合“相容性 consistency”标准?[/B]
|
|