Registry · Definition VII.D65 tau-effective formalized

VII.D65 — Dignity as Label-Independence

Label-independence under address permutation; every address-bearing entity has intrinsic dignity; structural, not derived from utility.

Book VII Part 7 Ch. 76

Dependency Graph

Depended on by (4)

VII.L11 VII.L26 VII.T30 VII.T36

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.DignityStructure