Changes: Addition (natural numbers)

Latest revision as of 16:42, 12 December 2017

In Peano arithmetic, Addition is defined recursively.

Given an arbitrary $a \in \mathbb{N}$ , we will define $a+b$ recursively as follows: $a + 0 = a$ and $a+b' = (a+b)'$ , for all $b \in \mathbb{N}$ .

Addition on the Natural Numbers has two important properties: commutativity and associativity. Also, multiplication is distributive over addition.

@@ Line 1: / Line 1: @@
-In [[Peano arithmetic]], Addition is defined recursively.
+In [[Peano arithmetic]], '''Addition''' is defined recursively.
 ==Definition==
@@ Line 5: / Line 5: @@
 ==Properties==
-Addition on the Natural Numbers has two important properties: [[commutivity]] and [[associativity]]. Also, [[multiplication (natural numbers)|multiplication]] is distributive over addition.
+Addition on the Natural Numbers has two important properties: [[commutativity]] and [[associativity]]. Also, [[multiplication (natural numbers)|multiplication]] is distributive over addition.
 ==See also==