主题：【原创】从过去的龙年看未来的中国（连载） -- diamond

光速不变的等效原理先是为了解释迈克尔逊干涉实验，然后由此推导出来的钟慢效应和u子穿越大气层的结果相吻合。这不是实证是什么？

科学里可以存在一些目前还不能通过实证检验的对象。但是首先一些理论只是目前的技术手段还不够，所以不能检验。其次是科学没有神学里面的神一样明显的永远不能证伪而且不允许对其进行实证检验的对象。第三点是没有通过实证检验的理论最多只能是假说而不是被接受的科学理论。

这三点以外还要补充一点关于公理和共设，也就是你说的：

不完备定理决定了一个逻辑体系内总有一条或更多的基本公设不能在体系内部得到证明。但是没说这个公设不能在该逻辑体系以外进行实证检验。欧几里德的五大公设只是不能在欧几里德几何内部实证而已。在欧氏几何之外的检验结果是五大共设不一定成立，然后才引出平直空间的定义——凡欧几里德共设能够成立的空间为平直空间，除此以外的空间欧氏几何不能成立。非欧氏空间的问题需要用黎曼几何或者其它几何体系来处理。而黎曼几何是广义相对论的重要基础之一。所以欧几里德的五大公理不是不能实证而是早就被实证检验过，证实了只能在一定的范围内成立。

如果把科学看作一个体系，不完备定理决定了科学体系内总有些东西不能在体系内得到证明。但是科学是一个不断扩展的体系。今天不能实证的东西过一段时间以后体系扩展了也许就可以实证了。当然扩展之后的体系也许会引入新的目前无法实证的对象，但是科学本身的扩展也是没有限制的。所以很难说科学内部会存在像上帝或者神仙这样你永远也不可能通过实证检验的东西。

所以你的话应该改成：不能实证的神的存在，是半拉子的神学实证主义的证明。