1
Доведіть 2 + 2 = 2 * 2 (і подібне)
Виведіть повний формальний підсумок таких тверджень, як 1+2=3, наприклад , 2+2=2*(1+1)тощо. Інтродукція Якщо ви знаєте арифметику піано, ви, ймовірно, можете пропустити цей розділ. Ось як ми визначаємо натуральні числа: (Axiom 1) 0 is a number (Axiom 2) If `x` is a number, the `S(x)`, the successor of `x`, is a …