自从学了哥德尔不完备定理，对元数学深深的感兴趣，不过也就是感兴趣而已。暂无深入学习的打算。不过却有两条猜想与大家分享。其中第一条“物理体系的相容性”应该是容易证明的，可是我却有种无处下手的感觉。希望懂元数学或者自然科学基础逻辑的牛人指点，而第二条则纯属瞎猜，我本人倾向于即不可证明也不可伪证。 一、物理学相容性定律：对于给定的物理定律，无论选择任何数学逻辑体系计算得到的结果都是一样的。根据哥德尔不完备定理：任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否。 也就是说存在无限多个数学逻辑体系：每当发现一个当前形式系统中，不能被证明为真，也不能被证明为否的命题，无论将“其为真”加入当前形式系统，还是将“其为假”加入当前形式系统，得到的新系统都可以用于物理演算且不改变最终的结果。 二物理学不完备猜想：对于任何完备的物理学体系（或者推广的说叫世界观体系），只要其具有完整的预见性，则必然有实验或观察（注意指天文学观察）能发现违背该体系的结果。 预见性：即对任何实验和观察，都能用该体系演绎得出所有可能的实验或观察结果，显然完整的物理体系比如弦论是满足这一条的，而万能的上帝这样的世界观虽然能做到自洽但是不具有预见性，关于预见性的具体描述可见同人于野的博文《物理学的逻辑和霍金的答案》http://www.geekonomics10000.com/546