Registry · Definition I.D75 established formalized

I.D75 — Generative Counting Principle

Counting as a structural feature of tau: every tau-set is generated by rho-iteration from seeds, inheriting countability from the orbit structure. No set outruns the generative act.

Book I Part 9 Ch. 36

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookI.Sets.Counting

Symbol: Tau.Sets.generative_counting