第 2 法則（運動の法則）

公理 3.3（「ニュートン力学の基礎」§3）

慣性系において、質量 $m$ の質点の運動量を $\boldsymbol{p} = m\boldsymbol{v}$ と定めると、質点に働く力 $\boldsymbol{F}$ に対して

\frac{d\boldsymbol{p}}{dt} = \boldsymbol{F}

が成り立ちます。とくに $m$ が時間によらないとき、これは $m\boldsymbol{a} = \boldsymbol{F}$ と書けます。

閉包の状態

公理

公理は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。