Registry · Lemma VII.L42 tau-effective formalized

VII.L42 — Legitimacy from CI

Legitimacy justification = CI universalizability test, via VII.T35 CI as j-Closed Fixed Point.

Book VII Part 8 Ch. 104

Dependency Graph

Depends on (2)

VII.P25 VII.T35

Lean Formalization

Module: TauLib.BookVII.Social.Ontology

Symbol: Tau.BookVII.Social.Ontology.legitimacy_from_ci