• 正體: 遞迴理論[電子計算機]