Registry · Theorem I.T11b established formalized

I.T11b — Four-Generator Ladder Incompleteness

With 4 generators, only 2 solenoidal generators (pi, gamma) exist for 3 rewiring levels needed. Exponentiation has no canonical channel. This breaks ladder completeness.

Book I Part 3 Ch. 12

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookI.Orbit.TooFew

Symbol: Tau.Orbit.TooFew.four_gen_ladder_incomplete