Registry · Theorem VII.T32 tau-effective formalized

VII.T32 — No-Conflict Theorem

Properly typed ethical claims cannot conflict; genuine duties never contradict; moral dilemmas arise from typing errors.

Book VII Part 7 Ch. 78

Dependency Graph

Depends on (2)

VII.L11 VII.T31

Depended on by (2)

VII.P18 VII.T33

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.no_conflict