| 
 | 
分形 ---- 自然几何
下面引用由wangyangke在 2009/09/22 03:27pm 发表的内容: 
人“蠢”就安静些嘛,没有人硬要“蠢货”( ygq的马甲  )你出来的。“蠢货”( ygq的马甲  )你有功夫来“鹦鹉学舌”,用点功夫来【创新】嘛  【鉴定】和【评估】结论是:“无知者无畏”式的“蠢货”(wangyangke) 
“蠢货”(wangyangke)你的【创新】,难道就是“鹦鹉学舌” 
 
***************************************** 
附图:二维几何模型表示的逻辑类型 
  
【公理二】存在且只存在 R(·,·)="∈"∪" Ï "∪" Æ "  
按照“一分为二”方法假设代号 A 和 ﹁A ,那么对照“二维几何模型表示的逻辑类型”附图,存在五种侧面,分别如下: 
R(·,·)=" Æ " 对应的是 A 和 ﹁A ; 
R(·,·)="∈" 对应的是 A←→A 和 ﹁A←→﹁A ; 
R(·,·)=" Ï " 对应的是 A←→﹁A 。 
以上是【公理】部分,与 A 所选择的具体内容无关。 
 
命题:形式逻辑同一律 A=A 与这里的 R(·,·)="∈" ,是在康托尔集合论内完全等价的。 
①起点是形式逻辑同一律 A=A; 
②按康托尔集合论的“等号 =”定义,上式完全等价于 A∈A; 
③按康托尔集合论的“关系 aR(a,b)b”定义,上式完全等价于 AR(A,A)A 且 R(A,A)="∈"; 
..这里的“等号 =”,表示变量赋值; 
④将不重要的代号 A 抽象掉,原来必须出现的位置代以“·”,则上式完全等价于 R(·,·)="∈"; 
⑤终点是 R(·,·)="∈"。 
反方向的证明过程省略。 
 
命题:罗素悖论 AÏA 与这里的 R(·,·)=" Ï " ,是在康托尔集合论内完全等价的。 
①起点是罗素悖论 AÏA ; 
②按康托尔集合论的“关系 aR(a,b)b”定义,上式完全等价于 AR(A,A)A 且 R(A,A)=" Ï "; 
..这里的“等号 =”,表示变量赋值; 
③将不重要的代号 A 抽象掉,原来必须出现的位置代以“·”,则上式完全等价于 R(·,·)=" Ï "; 
④终点是 R(·,·)=" Ï "。 
反方向的证明过程省略。 
 |   
 
 
 
 |