文件名称:关于"递归定理" (1984年)
文件大小:170KB
文件格式:PDF
更新时间:2024-06-12 00:43:12
自然科学 论文
这篇短文证明了如下定理. 定理设集N包含1,a(?)a~+是N到自身的一个映射且满足递归定理: R.对于任意的非空集S,S内任意给定的元a及S到自身的映射(?),恒唯一存在N到S的映射f满足条件f(1)=a,f(a~+)=(?)(f(a)),a∈N.则N中必成立PⅠ.1≠a~+,对任何a∈N. PⅡ.a~+=b~+(?)a=b,对任何a,b∈N. PⅢ.完全归纳法原理:若M是N的满足条件1∈M,"a∈M(?)a~+∈M" 的子集,则M=N。