Registry · Theorem VII.T30 tau-effective formalized

VII.T30 — Dignity Universality

Every entity with an NF address has dignity; no exceptions; dignity is structural, not contingent.

Book VII Part 7 Ch. 76

Dependency Graph

Depends on (1)

VII.D65

Depended on by (6)

VII.L41 VII.P17 VII.P18 VII.P20 VII.P25 VII.T31

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.dignity_universality