目前，现代的科学都是基于逻辑建立的。

逻辑有一个重要的特性，即，逻辑的基础（或起点）是不可证明的。如果作为逻辑起点的某个假设是可以通过其他假设推导的，那么，这个假设不应该作为逻辑的起点。

关于这个方面，最著名的一个应用就是我们学的几何：作为几何起点的公设、公理是不可证明的。

同样地，作为相对论最基础的两点假设之一，光速不变也是不可证明的。你可以去验证这个假设，或者通过实验推翻这个假设，但是，你没有办法证明它。

【 在 dawei78 的大作中提到: 】
: 现在明白了，物理就是用理论去拟合现象，跟数学不太一样。
: 发自「今日水木 on M2102K1AC」
--
FROM 49.184.58.*