《解析方阵数论集》对皮亚诺公理的发展