Registry · Lemma VI.L13 established planned

VI.L13 — ω-Germ Cannot Be Resolved Diagrammatically

No commutative diagram in Category τ can conclude 'code(D)[ω] exists.' Diagrams relate existing objects; cannot ground existence. Principled limit of formalism.

Book VI Part 8 Ch. 53

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: