“讨论室:学术” 上的话题

什么样的形式系统可以从内部避免悖论?

5
大耳白兔 (讨论贡献)

大家应该知道哥德尔的第一第二不完全性定理, 有的形式系统无法从内部推理避免悖论, 但是可以从外部推理避免悖论. 是否存在一些形式系统, 无法用任何推理避免悖论?

大耳白兔 (讨论贡献)

避免悖论是否存在统一的理论?

大耳白兔 (讨论贡献)

避免悖论是否存在统一的理论, 或一般性的算法?

Trebor (讨论贡献)

还是先读一些数理逻辑的基础书, 思而不学则殆.

Ice1000 (讨论贡献)

以悖论命题作为公理的形式系统就无法用任何推理避免悖论