相对论明显是一个公理系统，即从有限的物理（数学）公理（原理、假设）出发，通过数学（逻辑）推导，构建系统（体系），从而解决实验结果和现象@绮梦璇😾 @陈彼方º @李义廉😄

其中，相对论公理系统是满足完备性的，即目前所有实验和现象都符合理论的预言，但是这不能肯定相对论是正确的@绮梦璇😾 @陈彼方º @李义廉😄

相对论也符合演绎性，即推导过程中所使用的数学方法和推理规律是正确的，但是相对论的无矛盾性是没有得到充分证明的@绮梦璇😾 @陈彼方º @李义廉😄

如果假象理论（相对论）是矛盾的，则存在一套合理真实的理论。那么因为假象理论（相对论）是构造（改造）性的理论，所以它的推导过程必然会使用真理论公理系统中的逻辑商，由于该逻辑商是由真理论公理系统导出，这样便导致逻辑上的矛盾@绮梦璇😾 @陈彼方º @李义廉😄

只要在真理论中找到封闭自洽的子公理系统，并且相对论对其进行改造，则由于相对论使用其逻辑商，必然产生逻辑上的矛盾问题@绮梦璇😾 @陈彼方º @李义廉😄

通过上述方法和定理，可以发现相对论逻辑上的很多矛盾问题（第一部分），通过这些问题又自然引导出真实理论（第二部分），对比两者差别可以设计相关实验，检验新理论的正确与否（第三部分），简称三部曲@绮梦璇😾 @陈彼方º @李义廉😄

亚里士多德曾经说过：“两个铁球，一个10磅重，一个1磅重，同时从高处落下来，10磅重的一定先着地，速度是1磅重的10倍。”这句话使伽利略产生了疑问。
他想：如果这句话是正确的，那么把这两个铁球拴在一起，落得慢的就会拖住落得快的，落下的速度应当比10磅重的铁球慢；但是，如果把拴在一起的两个铁球看作一个整体，就有11磅重，落下的速度应当比10磅重的铁球快。这样，从一个事实中却可以得出两个相反的结论，这怎么解释呢？