皮亚诺公理

皮亚诺公理是数学中的一组基本假设或原理，用于建立数论的逻辑基础。它由意大利数学家皮亚诺在19世纪末提出，包括零公理、继承公理、归纳公理和等价公理等。这些公理被认为是真实而不需要证明的，从而构成了数学推理的基础。皮亚诺公理系统也被广泛应用于其他分支的数学和逻辑学中。