在 x=1x=1x=1 时,该递归就是从 222 开始“反复加一”。
在规则 (2) 中取 x=0x=0x=0,由规则 (1) 得 f(1,0)=f(0,1)=1+1=2f(1,0)=f(0,1)=1+1=2f(1,0)=f(0,1)=1+1=2。在规则 (3) 中取 x=0x=0x=0,再次由规则 (1) 得 f(1,y+1)=f(0,f(1,y))=f(1,y)+1f(1,y+1)=f(0,f(1,y))=f(1,y)+1f(1,y+1)=f(0,f(1,y))=f(1,y)+1,因此 f(1,⋅)f(1,\cdot)f(1,⋅) 每一步恰好增加 111。