Registry · Remark IV.R160 tau-effective not_applicable

IV.R160 — No continuum limit needed

No continuum or thermodynamic limit (N,V -> infinity with N/V fixed) is needed in Category tau; the primorial tower already provides coherent infinite-resolution description, with delta[omega] exact at every finite depth n and the thermodynamic limit being the projective limit itself.

Book IV Part 7 Ch. 52

Lean Formalization

Module:

Symbol: