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)

Depended on by (2)

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.no_conflict