Огромное количество арифметических формул, которые могут содержать цифровые либо буквенные выражения с целочисленными коэффициентами. Алфавит: числа 0…9; буковки a…z, знаки +, -, х, /, скобки (, ). Хоть какой знак может считаться начальной формулой, неважно какая композиция цифр с первой ненулевой именуется числом и считается формулой. Правила построения новых формул последующие:
- если А и B — числа и А ≠ 0, то АВ также число (т.е. личный вид формул — числа — получаются приписыванием одних к другим таким макаром, чтоб слева был не 0);
- если F1 и F2 — формулы, то (F1 + F2), (F1 — F2), (F1 x F2) и (F1 /F2) также являются формулами.
В описанной формальной системе выводимыми оказываются формулы типа:
