Registry · Proposition I.P46 established planned

I.P46 — No Second Linearity

The ABCD chart Phi is not linear: Phi(X+Y) != Phi(X)+Phi(Y) for alpha-ray addition. NF encoding interleaves multiplicative and exponential data, destroying additivity. Concrete counterexample: X=2, Y=4.

Book I Part 4 Ch. 20

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: