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