皮亚诺算术(PA)的公理:
x（Sx≠0）。 x，y（（Sa=Sy→x=y）。 ，对于在 PA 的语言中的任何公式 。 x（x+0=x）。 x，y（（x+Sy=s（x+y））。 x（x*0=0）。 x，y（x*Sy=xy+x）。