>>6
「すべき」とは言っていません。

「第1法則は慣性系の存在を主張している」と解釈しても、単に第2法則でF = 0とおいたものと見なしても、理論上何も問題ないよね

という話をしています。