抽象化和数学演绎是形成理论力学的基本概念和基本理论的主要方法。