有不可证明的东西：科学的基础是数理逻辑，而数学总是从一组不能证明的公理，其实和神的存在是一样的，大哥二哥而已。我们知道一道题你可以用几何方法思考解答，也可以用代数方法思考解答，是对同一问题两种等价的认识方法。你怎么知道有神论无神论不过是对世界的等价的两种不同的表述方式呢？

更有甚者，Godel不完备定理说根本没有一个完备自洽的自然数的公理系统。科学早就认识到不管怎么发展它永不能解释一切。