皮亚诺公理刚进大学,老师讲了集合论的一点后,又开始讲自然数的定义了我知道集合论是在离散数学里面,那么自然数的定义该看哪本