1+1=2

visto che ci sono vi dimostro una cosa fondamentale e cioè che

1+1=2

sia (lo)dato lo 0 (zero) e sia succ() la funzione che restituisce il successore dell'argomento, allora la relazione precedente si può scrivere:

succ(0)+succ(0)=succ(succ(0))

vediamo perchè:

succ(succ(0))=succ(succ(0)+0)=succ(0)+succ(0)

semplice no?
per essere precisi mancherebbe un passaggio e cioè dimostrare l'ultima uguaglianza: la proprietà

succ(a+b)=a+succ(b)

ma lo lascio per esercizio hahahahahaha