什么样的形式系统可以从内部避免悖论?
大家应该知道哥德尔的第一第二不完全性定理, 有的形式系统无法从内部推理避免悖论, 但是可以从外部推理避免悖论. 是否存在一些形式系统, 无法用任何推理避免悖论?
避免悖论是否存在统一的理论?
避免悖论是否存在统一的理论, 或一般性的算法?
还是先读一些数理逻辑的基础书, 思而不学则殆.
以悖论命题作为公理的形式系统就无法用任何推理避免悖论