1. 1加法公理
2. 2乘法公理
3. 3序公理
4. 4完备性公理
   1. 自然数集无上界
   2. 阿基米德原理
   3. Density稠密性
   4. 良序原理
   5. 数学归纳法
   6. b^n=a中b的唯一性