addition

Addition: $n^{\prime }=n+1$

$\forall n\in \mathbb{N}:n+0:=n$
$n+k^{\prime }:=(n+k{)}^{\prime }$ (e.g.: 2+3’ = (2+3)’)
→ Addition is defined for all natural numbers thanks to induction.