Church numeral
= Church numeral
{c}
{title2=$c_n$}
The Church numeral $c_n=\lambda f.\lambda x.f^n x$ encodes the natural number $n$ by iteration.
= Church numeral
{c}
{title2=$c_n$}
The Church numeral $c_n=\lambda f.\lambda x.f^n x$ encodes the natural number $n$ by iteration.