Этот формальный язык выражает натуральные числа, правильно сформированные операторы сложения и правильно сформированные равенства сложения, но он выражает только то, как они выглядят (их синтаксис), а не то, что они означают (семантика).
Семантика значений в языке