塔斯基不可定义定理对完美理论的影响

完美理论（$S_{\text{ToE}}$）旨在将自然界中所有基本力，包括量子引力，统一到单一的理论框架中。该理论将通过一组公理进行内部定义，本文提出了任何此类理论的公理体系。此外，对于此类理论，所有科学真理都将被内部定义为从该理论规则中可推导出的后果。本文随后考察了塔斯基不可定义定理对由此公理推导出的科学真理的影响。我们证明了塔斯基定理对任何此类形式系统 $S_{\text{ToE}}$ 施加了限制。然而，我们也认为拉斯克-森克论证表明，非算法性的理解可以超越这些形式限制。