Registry · Proposition VII.P18 tau-effective not_applicable

VII.P18 — Fairness from CI

Fairness follows structurally from CI + dignity + no-conflict; not an additional axiom but a consequence.

Book VII Part 7 Ch. 80

Dependency Graph

Depends on (3)

VII.T30 VII.T31 VII.T32

Lean Formalization

Module:

Symbol: