6.2 关于自然数的皮亚诺公理