形式化的三律不可能三角是普遍的设计约束

一致性、完备性、表达力三者不可兼得，这一结构在数学之外反复出现。法律系统中的一致性、覆盖性、可操作性形成了类似的三角；AI 对齐中的一致性、全面性、能力形成了类似的三角；甚至日常决策中"不矛盾、不遗漏、不僵化"也形成了类似的三角。这个"不可能三角"是任何复杂规则系统设计的元约束。