Registry · Theorem
II.T45
established
formalized
II.T45 — Parallel Preservation
The parallel postulate (II.T18) survives the hyperbolic algebraic substrate j^2 = +1: stage-k geometry is Euclidean, Tarski axioms are universal sentences preserved under inverse limits, and light cones require tangent spaces that tau^3 does not possess.
Book II
Part 11
Ch. 64