“实无穷”及其判断规则

附图：二维几何模型表示的逻辑类型


【公理二】存在且只存在 R(·,·)= ∈ ∪ Ï ∪ Φ
按照“一分为二”方法假设代号 A 和 ﹁A ，那么对照“二维几何模型表示的逻辑类型”附图，存在五种侧面，分别如下：
R(·,·)= Φ 对应的是 A 和 ﹁A ；
R(·,·)= ∈ 对应的是 A←→A 和 ﹁A←→﹁A ；
R(·,·)= Ï 对应的是 A←