无守恒假设的相对论动力学公理化
Axiomatizing relativistic dynamics without conservation postulates
摘要：
相对论动力学（或力学）的一部分是公理化的简单和纯粹的几何公理内制定的一阶逻辑。本文给出了物体相对论质量与静止质量之间关系的几何证明，从而对爱因斯坦著名的$E=mc^2$给出了几何解释。本文还研究了我们的几何公理与质量守恒、动量守恒和四动量守恒公理的联系。
英文摘要：
A part of relativistic dynamics (or mechanics) is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein's famous $E=mc^2$. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
