Intuition
The Unique Grounding Theorem is the bedrock of Universal Language. It says that when you write any UL expression — no matter how complex — you can always “take it apart” into the five geometric primitives in exactly one way. There is no ambiguity. Every meaning traces back to a concrete geometric mark.
Think of it like factoring integers: just as 60 = 2² × 3 × 5 is the unique prime factorisation, every UL expression has a unique “primitive factorisation” into Point (•), Line (—), Angle (∠), Curve (⌒), and Enclosure (◯).
Formal Statement
Let Σ_UL be the Universal Language signature consisting of the five primitive sorts and eleven operations. For every well-formed expression E in UL, there exists a unique finite sequence of primitive applications and operations such that E decomposes into that sequence. Formally:
∀ E ∈ WFF(Σ_UL), ∃! D = (p₁, op₁, p₂, op₂, …, pₙ) such that:
- Each pᵢ ∈ { •, —, ∠, ⌒, ◯ }
- Each opⱼ ∈ Σ_UL (the 11 operations)
- Reconstruction from D yields E, and no other D' does the same
Proof
Significance
This theorem has far-reaching consequences for the entire UL system:
- No ambiguity: Two different meanings can never produce the same expression. If you can write it, you can unambiguously read it.
- Geometric semantics: Every UL expression is a sequence of concrete geometric actions — not arbitrary symbols. Meaning is literally built from shape.
- Machine verifiable: An algorithm can decompose any expression and verify its well-formedness by checking each step.
- Enables all later theorems: Without unique decomposition, none of the structural or advanced theorems could be stated precisely. This is Theorem 1 for a reason.
Connections
The Unique Grounding Theorem directly enables two other foundation theorems:
- Theorem 2 — Primitive Irreducibility: If one primitive could be derived from the others, decomposition would not be unique. The five primitives must be independent.
- Theorem 5 — Finite Composition: Since decomposition is unique and each step uses finitely many primitives, no infinite construction is ever needed.