- Initially meaningless symbols in a formal system **cannot…

metamitya ·

- Initially meaningless symbols in a formal system **cannot avoid taking on "meaning"** when an isomorphism is discovered
- The pq-system's theorems map perfectly onto arithmetic addition (e.g., `--p---q-----` corresponds to "2 + 3 = 5")
- **Meaning emerges from the structural correspondence between the formal system and something we understand**