慣性系

定義 2.1（「アインシュタインとファインマン」§2）

外から力を受けていない物体が、静止したままか、まっすぐ一定の速さで動き続けるように見える座標系を慣性系といいます。等速直線運動をしている電車の中、静止した地面の上（回転の効果を無視すれば）は、どちらも慣性系です。加速中の電車の中は慣性系ではありません。

閉包の状態

定義

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

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

証明で明示的に参照している定理は、まだありません。