1

誰かが置換を使用して、数値「ゼロ」または残りの自然数を取得する方法を説明できますか?

たとえば、値: 「ゼロ」

λf.λx.x

この式を別の式に適用すると:

"(λf.(λx.x)) a"

次に置換を使用します。

:=[a/f](λx.x)
:=(λx.x)

私は何が欠けていますか？これらの数式をどのように解釈すればよいですか?

4

3 に答える 3