形式主义（逻辑主义）因其脱离现实意义而只存在于封闭的纸上符号和大脑虚拟逻辑 而必然不完备。 计算机的图灵机理论 是 典型的形式主义的符号系统。 ETH 等BFT 确定性共识系统也即停留在形式主义的符号中。 失去了现实意义的表达，少了人类的直觉参与，必然不安全（不严密/不完备）。(Lux(λ) ｜光灵｜GEB)