然 而, 对于那些玩逻辑学的大家来说, 林的形式化可能属 “小儿科” 料; 之所以如此, 是因为他们对 “皮亚诺” 数字公理系统
(Peano Arithmetic Axiom System) 太熟悉了, 比如: 在该系统内, 若 x y = x z
则可推出 y = z, 以及 (x y) z = x (y z) 本身在该公理系统内是成立的; 还有, 若 X = Y
和 Y = Z 则还可推出 X = Z; 等等。
但是, 在林的形式化系统里, 如此那般的推理规则 (系统) 不太可能有效; 假如还有效的话, 则在林的 (逻辑) 系统内, 可推出
(R D) H = R (D H), 和 R (D H) = R f, 即: R f = W;
换句话说, 若逻辑学内的推理规则, 仍能够适用于林的形式化系统的话, 那么从那样的系统可得出: “现实 添补 空想 等于 明智”
的结论; 不知大家伙们能够接受如此的结论吗?