Registry · Definition VII.D37 conjectural formalized

VII.D37 — Six Ontic Requirements

Identity-faithful, finite signature, diagonal-free, NF-addressable, holomorphic, spectrally complete — six constraints on any fundamental theory.

Book VII Part 2 Ch. 29

Dependency Graph

Depended on by (5)

VII.L31 VII.L32 VII.L33 VII.P08 VII.T14

Lean Formalization

Module: TauLib.BookVII.Meta.Saturation

Symbol: Tau.BookVII.Meta.Saturation.six_requirements