Nhà toán học đã đưa ra hệ tiên đề Peano gồm 4 tiên đề như sau:
Có một tập hợp N gồm các tính chất sau:
1/ Với mỗi phần tử x trong N có một phần tử, ký hiệu là S(x), trong N được gọi là phần tử kế tiếp của x
2/ Cho x và y trong N sao cho, nếu S(x)=S(y) thì x = y
3/ Có một phần tử trong N ký...