Registry · Definition VII.D24 tau-effective formalized

VII.D24 — τ-Kernel Philosophical Summary

Five generators, seven axioms K0–K6, rigidity characterizes the categorical foundation; philosophical summary of the kernel structure.

Book VII Part 2 Ch. 17

Dependency Graph

Depended on by (1)

VII.T18

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.KernelPhilosophicalSummary