|
|
直线段与直线段长度的概念问题
下面引用由jzkyllcjl在 2009/09/16 03:52pm 发表的内容:
数学从来不用你的逻辑! 【鉴定】和【评估】结论是:“无知者无畏”式的“蠢货”(jzkyllcjl)
什么时候,“蠢货”(jzkyllcjl)你,才能看懂别人的数学【规范】 ???
-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-
命题:形式逻辑同一律 A=A 与这里的 R(·,·)="∈" ,是在康托尔集合论内完全等价的。
①起点是形式逻辑同一律 A=A;
②按康托尔集合论的“等号 =”定义,上式完全等价于 A∈A;
③按康托尔集合论的“关系 aR(a,b)b”定义,上式完全等价于 AR(A,A)A 且 R(A,A)="∈";
..这里的“等号 =”,表示变量赋值;
④将不重要的代号 A 抽象掉,原来必须出现的位置代以“·”,则上式完全等价于 R(·,·)="∈";
⑤终点是 R(·,·)="∈"。
反方向的证明过程省略。
[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-
人“蠢”,却硬要搞什么“作为” |
|