ところがいかなる部分(帰納的)関数も上の方程式系を満足しえない。