Registry · Proposition VII.P27 tau-effective formalized

VII.P27 — Identity as Address Persistence (Mind)

Same individual iff continuous NF address in τ³; substrate-independent continuity; personal identity formalized.

Book VII Part 9 Ch. 113

Dependency Graph

Depends on (1)

VII.D82

Lean Formalization

Module: TauLib.BookVII.Logos.Sector

Symbol: Tau.BookVII.Logos.Sector.identity_as_address_persistence_mind