1
Докажите 2 + 2 = 2 * 2 (и аналогичные)
Выведите полный формальный пух таких утверждений, как 1+2=3, 2+2=2*(1+1)и т. Д. Introuction Если вы знаете арифметику Пеано, вы можете пропустить этот раздел. Вот как мы определяем натуральные числа: (Axiom 1) 0 is a number (Axiom 2) If `x` is a number, the `S(x)`, the successor of `x`, is a number. …