In the Proposition 2.1.16, I guess that
the sentence "Then we can assign a unique natural number a(n) to each natural
number n, such that a(0)=c and a(n++)=f(an) for each natural number n"
should be like this :
"Then we can assign a unique natural number to a(n) for each natural
number n, such that a(0)=c and a(n++)=f(an) for each natural number n"
am i right ??
if I'm wrong and the original text is right, then what is the meaning of it?
please help..
