Registry · Proposition
V.P58
tau-effective
formalized
V.P58 — Newton's First Law as Limit --- V.P22
Newton's first law (straight-line motion of free bodies) is derived as a limit property of the readout: when all three Newtonian-limit conditions hold and the energy-momentum character vanishes, geodesics of g_partial[chi] become straight lines.
Book V
Part 5
Ch. 34