Registry · Remark VII.R04 tau-effective not_applicable

VII.R04 — Axiom-Philosophy Correspondence

K0–K6 axioms encode philosophical principles about composition, uniqueness, and structure.

Book VII Part 2 Ch. 17

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: