Registry · Definition I.D04 established formalized

I.D04 — Static Kernel tau_0

tau_0 = the static kernel: 5 generator objects + K1-K6 axioms + rho. The complete specification before the generative act.

Book I Part 1 Ch. 4

Dependency Graph

Depends on (8)

I.D01 I.D02 I.K1 I.K2 I.K3 I.K4 I.K5 I.K6

Depended on by (3)

I.X01 II.D30 II.T23

Lean Formalization

Module: TauLib.BookI.Kernel.Signature

Symbol: Tau.Kernel.tau_zero