Ce langage formel exprime des nombres naturels, des déclarations d'addition bien formées et des qualités d'addition bien formées, mais elle n'exprime que ce qu'elles ressemblent -LRB- leur syntaxe -RRB-, et non ce qu'elles signifient -RB- sémantique -RRB-.
Semantics for the meanings in a language