由五個皮亞諾公理定義的自然數理論。 Paris 和 Harrington (1977) 給出了第一個“自然”例子，該例子是一個對整數為真但在皮亞諾算術中不可證明的陳述 (Spencer 1983)。
皮亞諾算術
另請參閱
一階邏輯, 克雷塞爾猜想, 自然獨立現象, 數論, 皮亞諾公理, 命題演算使用 探索
參考文獻
Kirby, L. 和 Paris, J. "Peano 算術的可訪問獨立性結果。" Bull. London Math. Soc. 14, 285-293, 1982.Paris, J. 和 Harrington, L. "皮亞諾算術中的數學不完備性。" 在 數學邏輯手冊 (Ed. J. Barwise). Amsterdam, Netherlands: North-Holland, pp. 1133-1142, 1977.Spencer, J. "大數和不可證明的定理。" Amer. Math. Monthly 90, 669-675, 1983.在 上被引用
皮亞諾算術引用為
Weisstein, Eric W. "皮亞諾算術。" 來自 Web 資源。 https://mathworld.tw/PeanoArithmetic.html