Intuition
Primitive Irreducibility is the independence guarantee of Universal Language. It says that each of the five building blocks — Point, Line, Angle, Curve, and Enclosure — is truly fundamental. You cannot “fake” one by combining the others.
An analogy from chemistry: hydrogen, helium, and lithium are each distinct elements. You cannot create helium by combining hydrogen atoms (that requires nuclear fusion, not chemistry). Similarly, in UL, each primitive contributes something geometrically unique that no combination of the others can replicate.
Formal Statement
For each primitive p ∈ { •, —, ∠, ⌒, ◯ }, there exists no well-formed expression f built from the remaining four primitives and the operations of Σ_UL such that f = p. Formally:
∀ p ∈ Prim(Σ_UL), ¬∃ f ∈ WFF(Σ_UL \ {p}) such that f = p
Proof
Significance
Primitive Irreducibility guarantees that the five-element basis of Universal Language is minimal:
- No redundancy: Removing any primitive would leave a genuine gap — some geometric meanings would become inexpressible.
- Clean semantics: Since no primitive overlaps with a combination of others, every expression's meaning is built from truly distinct concepts.
- Basis minimality: Combined with Sort Completeness (Theorem 3), this shows the five primitives are both sufficient and necessary — the smallest possible basis for UL.
- Structural integrity: Unique Grounding (Theorem 1) gives unique decomposition; Irreducibility ensures the “atoms” of that decomposition are genuinely atomic.
Connections
Primitive Irreducibility bridges the first theorem to the sort system:
- Theorem 1 — Unique Grounding: Provides the uniqueness result that the contradiction argument relies upon.
- Theorem 3 — Sort Completeness: Uses irreducibility to show the four sorts cover all expressions without gap — if a primitive were reducible, its sort assignment could be ambiguous.