Haskell について学び始めたばかりで、Haskell でラムダ計算を使用しようとしています。教会の数字を数値に変換するこの式を見つけましたが、この式の 0 が何を意味するのかわかりません。どこにも見つかりません：
zero = (\f -> \x -> x)
one = (\f -> \x -> f x)
two = (\f -> \x -> f (f x))
getNum church = church (\x-> (x + 1)) 0
私を混乱させるのは最後のゼロです。それはこのラムダ式の基本ケースですか、それともいくつかの引数ですか?