【是1】如何定义“什么是1”

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