English version
# しばらく留守にしていたので投稿は空いてしまったが，前回の続きです．
(λf x. x) f x
は
(λf x. x) f x ... f は束縛されていないので消える
(λ x. x) x ... x を入れると x がでてくる．
より
x
であるから，
(λ f x. f ((λf x. x) f x))
は
(λ f x. f (x))
である．() は優先順位を示すがこの場合にはつけてもあまり意味はないので，怠け者の数学者は
(λ f x. f x)
と書くかと思えば，甘い．まだ省略できる．
λ f x. f x
さて，これはチャーチ数で見ると，1 である．つまり SUCC 0 は 1 である．
ついに計算ができた! 次は SUCC 1 を計算してみよう．