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

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.ClassicalIllusion

Symbol: Tau.BookV.Astrophysics.NewtonsFirstLawAsLimitVp22