后继数是谁提出来的

皮亚诺的自然数公理
1：1是一个数。
2：任何数的后继者也是一个数
3：没有两个数具有相同的后继
4：1不是任何数的后继
5：任何性质，如果1具有而且任何数的后继也具有的话，则所有数都具有此性质

是你提出来的。厉害。