Registry · Remark V.R491 framework not_formalized

V.R491 — Tarski Euclidean axioms and emergent curvature

Tarski Euclidean axioms: curvature as output, not input

Book V Part 7 Ch. 61