搜索结果: 1-1 共查到“逻辑学 General Relativity”相关记录1条 . 查询时间(0.046 秒)
A logic road from special to general relativity
first-order logic axiomatization foundation of relativity theory
2016/5/27
We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps. We will also see how ...