これまでの流れ

元の質問:
①'の仮定のもと、②⇒①ですよね？


反論1:
①は慣性系の存在を主張しているから、②から導かれない

再反論1:
②⇒①'とは言っていません。
①'を仮定すれば②⇒①ですよね？
と言っています


反論2:
慣性系の存在を仮定しなければ②が述べられない

再反論2:
①を①'の意味に捉えるかどうかに拘わらず、①'は仮定しています


反論3:
①をはずすとニュートン力学が成り立たなくなる

再反論3:
ニュートン力学の原理は①②③です。ただし①は①'の意味です。
ここでは①'②③を仮定しています。
これらは全く同一の理論ですよね？


反論4:
①と①'が違うという理由が分からない

再反論4:
①と①'が違うと言っていません。①を①'と捉えようが、②の一部と捉えようが、理論に不都合が生じなければどちらでもいいと思っています。
「①と①'が同じだと解釈しなければならない」と考える人にその理由を聞いています。