Axiom: Newton's First Law of Translational Motion
If there is no net force exerted on a point mass, then it moves in a straight-line with constant velocity (or remains still if this velocity is 0).
Definition: Inertial Frame of Reference
An inertial frame of reference is a frame of reference where Newton’s first law of motion applies.
Empirical Law: Newton's Second Law of Translational Motion
In an inertial frame of reference, the acceleration of a point mass depends on its rest mass and the net force exerted on it:
Alternatively, the temporal change of the point mass’s momentum is equal to the net force :
Theorem: Newton's Second Law of Motion for Physical Systems
In an inertial frame of reference, the acceleration of the centre of mass of a physical system depends on the vector sum of all forces (both internal and external) exerted on its components and on the total mass of the system:
Alternatively, the temporal change in the total momentum of the system is equal to the vector sum of all forces exerted on its components:
PROOF
TODO
Empirical Law: Newton's Third Law of Translational Motion
Every interaction between two point masses and presents itself as a pair of opposite but equal in magnitude forces and :