簡単なものほど説明するのが難しいと言いますが，数学においては自然数がその最たる例ではないでしょうか．自然数とは何かを現代数学の立場で解説します．

目次

• ペアノの公理系
• 再帰性定理
• 指数の可換性
• 加法と乗法
• 順序構造
• 自然数の体系の一意性
• 再帰性定理 II
• 有限集合
• 様々な帰納法