Registry · Theorem
IV.T323
tau-effective
not_formalized
IV.T323 — Absence of External Lawgiver
From self-enrichment (Theorem thm:iv-self-enrichment): enumerate No external space where laws reside. No observer...
Book IV
Part 8
Ch. 72