【是1】如何定义“什么是1”，皮亚诺公理公理1： 0是一个自然数公理2： 若n是自然数，则n的后继数也是自然数公理3： 0不是任何自然数的后继，即对于