递归算术的复迭系统(Ⅰ)

建立“复迭算术”主要困难有两个:一是推出函数D_x的性质,一是推出函数的性质。作者建立了一个递归算术的复迭系统A~1V_2W,其中A~1是用允许一个参数的复迭式定义的存在性公理,V_2是用允许两个参数的复迭式定义的函数的唯一性规则,W是用参数变异递归式定义的函数唯一性规则。