你先考虑下如何定义3和4,用皮亚诺公理4定义成3的后继,那你提的这个问题就毫无意义了