帰納定理
【きのうていり】
【kinouteiri】
递归定理