On peut utiliser comme opération de base le "successeur": $succ(x) := x + 1$

Solution