.
感恩和敬畏——磨难
因为新道术有二条基础(公理、前提、假设、立论、公设、……),即 R(·,·)="∈" 类型和 R(·,·)="∉" 类型,经历的磨难也会比别人更多。换来的回报是,增加了额外的辅助【信息】,例如嵌套、R(·,·)="∉" 【分类】方法
*********************************************
.
【新】分类,【新】文化,【新】未来。(公理化的中国道学) 。
.
附图:二维几何模型表示的逻辑类型
.
【公理二】存在且只存在 R(·,·)="∈"∪"∉"∪"∅" .
按照《一分为二》方法假设代号 A 和 ﹁A ,那么对照《二维几何模型表示的逻辑类型》附图,存在五种侧面,分别如下:
R(·,·)="∅" 对应的是 A 和 ﹁A ;
R(·,·)="∈" 对应的是 A←→A 和 ﹁A←→﹁A ;
R(·,·)="∉" 对应的是 A←→﹁A 。
以上是【公理】部分,与 A 所选择的具体内容无关。
.
*************************************************