牛顿第一运动定律是第二定律的数学推论。他自己应该是不会证明。数学分析的发展与此关系很大。