（3）"物理规律在所有参考系里都有相同的形式"的证明过程

回顾时空理论，"相对性假设"单独构建的时空是"绝对时空"、"相对性假设"与"光速不变假设"共同构建的时空是"闵时空"、"光速不变现象"构建的时空是"物理时空"，其中"爱因斯坦变换"就是"闵时空"里无特殊参考系的协变公式，而"洛伦兹变换"就是"光速不变现象"构建的"物理时空"里有特殊参考系的协变公式；所以，"物理时空"与"闵时空"是有本质区别的，犹如"洛伦兹变换"与"爱因斯坦变换"有本质区别一样。

"相对性假设"与"光速不变假设"构成的数学形式就是"闵时空"里与其等价的"爱因斯坦变换"，同理，"光速不变现象"的数学形式就是"物理时空"里与其等价的"洛伦兹变换"，而与"物理时空"里的"洛伦兹变换"等价并物理表现一致的就是"物理时空"里的"尺缩钟慢效应"；所以，"洛伦兹变换"与"尺缩钟慢效应"是等价的，是同一物理规律的两个名字而已；若把"尺缩钟慢效应"与"爱因斯坦变换"联立计算，就失去物理性而悖论百出了。

所以，根据"物理时空"里"光速不变现象"的数学形式、就是有特殊参考系的"洛伦兹变换"，就可以直接证明"物理规律在所有参考系里都有相同的形式"了，而不需要"等效假设"；而"爱因斯坦变换"只能证明"闵时空"里有"无质量点在任何参考系里都有相同的运动规律形式"，但它不能证明"物理时空"里有"物理规律在所有参考系里都有相同的形式"，何况"相对性假设"与"爱因斯坦变换"都跟"物理时空"矛盾。

"绝对时空"里的"相对性假设"与"物理时空"里的"等效假设"是矛盾的，至于它们组合而成的"广义相对性假设"代表什么或什么时空里的规律，还是问问"爱因斯坦们"吧。

同理，可以证明"相对性假设"或"伽利略变换"就是"绝对时空"里的"无质量点在任何参考系里都有相同的运动规律形式"。

而这里没有提到"绝对时空"与"闵时空"里的惯性系与非惯性系的区别，是因为"绝对时空"与"闵时空"里只有运动学、而无物理动力学，即"绝对时空"与"闵时空"里不能有力与加速度等物理动力学内容，所以所有参考系的本质就是一样的；而"物理时空"里既有运动学，又有物理动力学，所以才有惯性系与非惯性系之分。这就是三个时空的本质区别，不能把"物理时空"里的概念混淆进"绝对时空"与"闵时空"里，即"绝对时空"与"闵时空"里是无动力学内容与动力学公式的。

（4）"物理规律在所有参考系里都有相同的形式"的第2种证明过程

若对"根据‘物理时空'里有特殊参考系的‘洛伦兹变换'就可以直接证明‘物理规律在所有参考系里都有相同的形式'、而不需要‘等效假设'"看不明白，那对于"物理时空"里有特殊参考系的"洛伦兹变换"就可以直接证明"物理规律在所有惯性系里都有相同的形式"的过程是肯定与明白的，那再结合"等效假设"就是"物理规律在所有参考系里都有相同的形式"了。

根据"物理时空"里有特殊参考系的"洛伦兹变换"、或加"等效假设"就可以证明"物理规律在所有参考系里都有相同的形式"，物理理论得证、过程逻辑与物理规律吻合一致，所以再次说明"物理时空"里有特殊参考系的"洛伦兹变换"才是正确的物理规律与物理理论；同时，从侧面证明"等效假设"的物理性。

这样，"物理时空"里的"物理规律在所有参考系里都有相同的形式"的物理规律在两种方法里都正确获得证明；而不是从错误的"相对性假设"出发、与"等效假设"组合而凑合出一个错误的"广义相对性假设"的证明过程。理论的严密逻辑与物理深层本质就在这里。