Addition (natural numbers)
In Peano arithmetic, Addition is defined recursively. Given an arbitrary a ∈ N {\displaystyle a \in \mathbb{N}} , we will define a + b {\displaystyle a+b} recursively as follows: a + 0 = a {\displaystyle a + 0 = a} and a + b ′ = ( a + b ) ′ {\displaystyle a+b' = (a+b)'} , for all b ∈ N...
