Registry · Definition VII.D36 tau-effective formalized

VII.D36 — Abstract Object as Structural Position

Mathematical entities are positions in structures; identity is relational, not intrinsic; structural realism formalized.

Book VII Part 2 Ch. 28

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.AbstractObjectAsStructuralPosition