Предложение из теории чисел (для наших целей) представляет собой последовательность следующих символов: 0и '(преемник) - значит преемник +1, так0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(сложение) и *(умножение) = (равно) (и )(скобки) логический оператор nand( a nand bесть not (a and b)) forall (универсальный...