数学中的皮亚诺公理有什么用?