皮亚诺公理，也称皮亚诺公设，是数学家皮亚诺(皮阿罗)提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。