Addition +

Natural number addition is defined recursively through the Peano axioms using the successor operation. Natural number addition is used to construct integer addition. Integer addition is used to construct rational addition. Real addition is used to construct complex addition. Since there are different versions of addition for each type of number, the properties are proved for each type of number. (The real numbers have not been constructed yet.)

Properties

Addition Tables

Multi-Digit Examples

Adding Fractions

Arithmetic Overview

Login to edit