请教陆老师一个关于射影几何的问题

天茂

请举一个“在【连续】体系中，即 R(·,·)="∈"∪"∉"∪"∅" 之中的 R(·,·)="∉" ，α*⇔﹁α*”的例子。

ygq的马甲

*********************************************
.
【新】分类，【新】文化，【新】未来。（公理化的中国道学） 。
.
附图：二维几何模型表示的逻辑类型

.
【公理二】存在且只存在 R(·,·)="∈"∪"∉"∪"∅"
.
按照《一分为二》方法假设代号 A 和 ﹁A ，那么对照《二维几何模型表示的逻辑类型》附图，存在五种侧面，分别如下：
R(·,·)="∅" 对应的是 A 和 ﹁A ；
R(·,·)="∈" 对应的是 A⇔A 和 ﹁A⇔﹁A ；
R(·,·)="∉" 对应的是 A⇔﹁A 。
以上是【公理】部分，与 A 所选择的具体内容无关。
.
*************************************************
楼上（ 天茂 ）你，究竟能不能看懂：【牟比乌斯带】的性质 ？？？
至于【连续】，其定义之一就是：遍历……之间的所有可能性（实际上是Ａ和﹁Ａ之间的）

天茂

请明确“α*”的含义。

天茂

【离散】，其定义之一有没有包括“遍历……之间的所有可能性（实际上是Ａ和﹁Ａ之间的）”的内容？

ygq的马甲

按照《一分为二》方法假设代号 A 和 ﹁A ，那么对照《二维几何模型表示的逻辑类型》附图，存在五种侧面，分别如下：
R(·,·)="∅" 对应的是 A 和 ﹁A ；
R(·,·)="∈" 对应的是 A⇔A 和 ﹁A⇔﹁A ；
R(·,·)="∉" 对应的是 A⇔﹁A 。
以上是【公理】部分，与 A 所选择的具体内容无关。

这段内容，你（ 天茂 ），究竟能不能看懂 ？？？

请明确“α*”的含义。

按照《一分为二》方法假设代号 A 和 ﹁A ，【定义】 A=α* ，这个 α* 就相当于《一分为二》方法的最原始分类 A

【离散】，其定义之一有没有包括“遍历……之间的所有可能性（实际上是Ａ和﹁Ａ之间的）”的内容？

【离散】，是 R(·,·)="∈" 类型的属性，怎么会扯到“遍历……之间的所有可能性（实际上是Ａ和﹁Ａ之间的）”

ygq的马甲

按照《一分为二》方法假设代号 A 和 ﹁A ，…………

我（俞根强、ｙｇｑｋａｒｌ）自己的这种【新道学】，是“一分为二”方法的，只有最原始的二个元素  A 和 ﹁A ，…………

1、正常圆环带结构（上图左下角）的数学表达式应该是：Ａ＝Ｂ＝Ｃ＝Ａ；
2、莫比乌斯带结构（上图右下角）的数学表达式应该是：Ａ＞Ｂ＞Ｃ＞Ａ；

你（ 天茂 ）的【分类】方法，却有最原始的三个元素  A 、B 和 Ｃ ，…………

天茂

老子曰：“道生一，一生二，二生三，三生万物”。
可见，“二”并不是最原始的。

ygq的马甲

下面引用由天茂在 2012/05/22 06:55pm 发表的内容：
老子曰：“道生一，一生二，二生三，三生万物”。
可见，“二”并不是最原始的。

又又又……又扯到哪里去了 ？？？
我（俞根强、ｙｇｑｋａｒｌ）自己的这种【新道学】，是“一分为二”方法的。至少已经做了“完全性ｃｏｍｐｌｅｔｅｎｅｓｓ” ！！！
你（天茂），想用什么“一分为三”方法，问题是做到“完全性ｃｏｍｐｌｅｔｅｎｅｓｓ”了吗 ？？？[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

我（俞根强、ｙｇｑｋａｒｌ）自己的这种【新道学】，并不是《老子》的，例如【阳刚】风格

天茂

[这个贴子最后由天茂在 2012/05/22 10:50pm 第 1 次编辑]

请介绍“一分为二”方法完全性的理由。

ygq的马甲

[这个贴子最后由ygq的马甲在 2012/05/23 01:58am 第 2 次编辑]

【公理二】存在且只存在 R(·,·)="∈"∪"∉"∪"∅"
这里 R(·,·) 是自身循环的参数，满足三岐性的要求的。其作用可以由下面的命题来体现。
“等号 =”的用法：
①表示形式逻辑的“同一律 A=A”，此时“等号 =”两边 必须是相同的类型，例如“事实就是事实”、F=ma
②表示赋值，此时“等号 =”两边 必须是不同的类型，例如“变量”=“常数”、X=3
③表示极限过程，此时“等号 =”左边 必须保留“极限”符号 ，例如下面的附图


命题：形式逻辑同一律 A=A 与 R(·,·)="∈" ，是在康托尔集合论内完全等价的。
①起点是形式逻辑同一律 A=A；
对照前面“等号 ＝”的用法，这里的“等号 =”，实际上是第①种用法
②按康托尔集合论的“等号 =”定义，上式完全等价于 A∈A；
③按康托尔集合论的“关系 aR(a,b)b”定义，上式完全等价于 AR(A,A)A 且 R(A,A)="∈"；
这里的“等号 =”只表示变量赋值；对照前面“等号 ＝”的用法，实际上这是第②种用法
④将不重要的代号 A 抽象掉，原来必须出现的位置代以“·”,则上式完全等价于 R(·,·)="∈"；
⑤终点是 R(·,·)="∈"。
反方向的证明过程省略。由读者你自己来完成证明，“抽象掉”的过程对应的是“具体代入”符号 A。