Registry · Proposition VII.P22 tau-effective not_applicable

VII.P22 — Pseudo-Paradox from Type Violation

Most ethical paradoxes arise from mixing earned and unearned claims across registers; proper typing dissolves them.

Book VII Part 7 Ch. 92

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: