关于皮亚诺公理和递归原理

利用皮亚诺公理可完成递归原理的证明。如果去掉皮亚诺公理的任意一条,递归原理将不能成立,本文给出了几个例子说明了递归原理对皮亚诺公理的依存关系。