Registry · Theorem
IV.T345
tau-effective
not_formalized
IV.T345 — The Self-Describing Universe
The universe is a self-describing categorical structure: equationeq:ch71-self-describing % The universe IS its own...
Book IV
Part 8
Ch. 73