皮亚诺公理：刻画自然数特征的一组公理。由意大利数学家皮亚诺于1899年提出。包括以下五条(1)1是自然数；(2)任一自然数都有唯一自然数为其后继数；(3)没有两个相异自然数有同一后继数；(4)1不是任何自然数的后继数；(5)如果1有性质p，且任何具有性质p的自然数其后继数也具有性质p，则一切自然数都有性质p。上述(5)就是数学归纳法原理。所有自然数的性质，都可由皮亚诺公理导出。

陆游 刘克庄 王世贞 屈大均 杨万里 赵蕃 苏轼 方回 白居易 胡应麟 韩淲 欧大任 黄庭坚 陈造 梅尧臣 张耒 周紫芝 范成大 王十朋 卢青山 苏辙 郊庙朝会 李纲 释德洪 程敏政 邓云霄 刘崧 曹勋 方岳 杜甫 陈献章 释居简 项安世 王安石 李梦阳 杨士奇 朱熹 释正觉 邵雍 刘敞 宋祁 顾璘 陈著 郭祥正 释印肃 胡奎 陈恭尹 丘逢甲 卢龙云 吕本中 郭之奇 楼钥 李白 吴芾 魏了翁 袁宏道 司马光 张萱 释函是 张镃 成鹫 白玉蟾 曹家达 孙承恩 王之道 刘攽 徐熥 洪咨夔 邵宝 区大相 顾清 何景明 陈维崧 湛若水 黎民表 欧阳修 彭汝砺 陈振家 刘基 徐渭 边贡 王夫之 杨慎 李攀龙 陈永正 许及之 释函可 郑孝胥 林光 元稹 韦骧 陆深 吴与弼 于慎行 辛弃疾 释绍昙 周必大 戴复古 王炎 薛瑄