シルトの議論：赤方偏移は平坦な時空と両立しない

命題 5.5（「一般相対性理論への招待」§5）・ ✓公理まで証明済み

次の三つを同時に仮定すると矛盾が生じます。

時空は平坦なミンコフスキー時空であり、大域的な慣性座標系 $(t, x, y, z)$ が存在する。
重力場はその上の静的な場である。すなわち、光の伝播を含むすべての物理法則が時間並進 $t \mapsto t + \text{const}$ のもとで不変である。
発信器 $A$ と受信器 $B$ はこの慣性座標系で静止しており、定理 5.1 の意味の赤方偏移（ $\nu_2 \neq \nu_1$ ）が観測される。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

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

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

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