Registry · Remark
VII.R03
tau-effective
not_applicable
VII.R03 — Historical Precursors to Relational Ontology
Leibniz, Whitehead, Ladyman provide historical precedents for relational ontology that τ formalizes.
Lean Formalization
Module: TauLib.BookVII.Meta.Registers
Symbol: