算术公理
1 对任何数 m, n,
m+n=n+m;m×n=n×m
2 对任何数 m, n, k,
(m+n)+k=m+(n+k); (m×n)×k=m×(n×k)
3 对任何数 m, n, k,
m(n+k)=mn+mk
4 数0具有下面性质,对任何数n,
n+0=n
5 数1具有下面的性质,对任何数n,
n×1=n
6 对每个数n, 存在另一个数 k 使得
n+k=0
7 对任何数 m, n, k,
如果 k≠0, k×n=k×m, 那么 m=n
费马,全名:皮埃尔·德·费马,法国律师和业余数学家。他在数学上的成就不比职业数学家差,他似乎对数论最有兴趣,亦对现代微积分的建立有所贡献。被誉为“业余数学家之王”。
另:扩展链接