由于各种数系的数字构成了研究抽象代数时必须使用的基本单位,我们现在将定义自然数和有理整数以及加法和乘法等基本运算。利用这些定义,我们还将推导出这些数集和运算的重要性质。在此之后,我们将讨论数论中的重要概念;这将引导我们讨论模 n 的整数的性质。
定义:使用未定义的概念“1”和“后继”(用
) 表示),我们定义不包含零的自然数集
,以下简称自然数,并给出以下公理,我们称之为皮亚诺公理
- 公理 1.

- 公理 2.

- 公理 3.

- 公理 4.

- 公理 5.

我们可以使用数学归纳法来证明自然数的定理,这是第五个皮亚诺公理的结果。
定义:我们使用两个额外的公理递归定义自然数的加法,作为一种组合;加法的其他性质随后可以从这些公理中推导出来。我们用中缀运算符 + 表示加法。
- 公理 6.

- 公理 7.

上面的公理 6 依赖于第一个皮亚诺公理(关于 1 的存在)以及第二个(关于每个数字都有一个后继的存在)。
从现在起,我们假设已证明的定理适用于所有
在
中。
定义: 我们类似地为自然数递归地定义乘法,同样使用两个公理
- 公理 8.

- 公理 9.

我们首先证明加法是结合的。
定理 1: 加法的结合律:
证明: 基本情况:根据公理 6 和 7,
.
- 根据公理 6,
.
- 归纳假设:假设对于
,
.
- 归纳步骤:根据公理 7,
.
- 根据归纳假设,
.
- 根据公理 7,
.
- 根据公理 7,
.
- 通过归纳法,
. QED.
引理 1: 
证明: 基本情况:1+1=1+1。
- 归纳假设:假设对于
,
.
- 归纳步骤:根据公理 6,
.
- 根据归纳假设,
.
- 根据定理 1,
.
- 根据公理 6,
.
- 根据归纳法,
. 证毕。
定理 2: 加法交换律:
证明: 基础情况:根据引理 1,
.
- 归纳假设:假设对于
,
.
- 根据公理 6,
.
- 根据定理 1,
.
- 根据归纳假设,
.
- 根据定理 1,
.
- 根据引理 1,
.
- 根据定理 1,
.
- 根据公理 6,
.
- 根据归纳法,
. 证毕。
定理 3:
.
证明: 基础情况:假设
.
- 根据定理 2,
.
- 根据公理 6,
.
- 根据公理 4,
.
- 归纳假设:假设对于
,
.
- 归纳步骤:假设
.
- 根据公理 6,
.
- 根据定理 2,
.
- 根据定理 1,
.
- 根据基本情况,
。因此,
.
- 根据归纳假设,
.
- 根据归纳法,
。证毕。
定理 4:乘法对加法的左分配律:
.
证明:基本情况:根据公理 6 和 9,
.
- 根据公理 8,
.
- 归纳假设:假设对于
,
.
- 归纳步骤:根据公理 7,
.
- 根据公理 9,
.
- 根据归纳假设,
.
- 根据定理 1,
.
- 根据公理 9,
.
- 根据归纳法,
. 证毕。
定理 5:
.
证明: 基本情况:根据公理 8,1(1)=1。
- 归纳假设:假设对于
,
.
- 归纳步骤:根据公理 6,
.
- 根据定理 4,
.
- 根据基本情况,
.
- 根据归纳假设,
.
- 根据公理 6,
.
- 根据归纳法,
. 证毕。
定理 6:
.
证明: 基本情况:根据公理 8,
.
- 根据公理 6,
.
- 根据公理 8,
.
- 归纳假设:假设对于
,
.
- 归纳步骤:根据公理 9,
.
- 根据归纳假设,
.
- 根据公理 6,
.
- 根据定理 1,
.
- 根据定理 2,
.
- 根据定理 1,

- 根据公理 9,
.
- 根据定理 1,
.
- 根据公理 6,
.
- 根据归纳法,
. 证毕。
定理 7:乘法的结合律:
证明:基本情况:根据公理 8,
.
- 归纳假设:假设对于
,
.
- 归纳步骤:根据公理 9,
.
- 根据归纳假设,
.
- 根据定理 4,
.
- 根据公理 9,
.
- 根据归纳法,
。QED。
定理 8:乘法的交换律:
。
证明:基本情况:根据公理 8 和定理 5,
。
- 归纳假设:假设对于
,
。
- 归纳步骤:根据公理 9,
。
- 根据归纳假设,
。
- 根据定理 6,
。
- 根据归纳法,
。QED。
定理 9:乘法对加法的右分配律:
。
证明:根据定理 4 和定理 7,
。
- 根据定理 7,
。QED。
整数集合
可以由自然数的有序对 (a, b) 构造。我们定义了所有这些有序对集合上的等价关系,使得

然后,有理整数集就是所有这些有序对的等价类的集合。我们将包含某个对 (a, b) 的等价类记为 [(a, b)]。那么,对于任何自然数 a 和 b,[(a, b)] 表示一个有理整数。
定义:我们定义整数的加法如下
![{\displaystyle \left[(a,b)\right]+\left[(c,d)\right]=\left[(a+c,b+d)\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/812c01093f785b1a4a8498d59f0a56f519a8aa36)
使用这个定义和自然数的性质,可以证明整数加法是结合律和交换律。
定义:整数的乘法,就像加法一样,可以用一个公理定义
![{\displaystyle \left[(a,b)\right]\left[(c,d)\right]=\left[(ac+bd,ad+bc)\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f38fdd89ae78edac7e1dca425b610abad4921eb)
同样,使用这个定义和前面证明的自然数的性质,可以证明整数乘法是交换律和结合律,而且它对于整数加法既是左分配律又是右分配律。