Comment by drdeca

Why have you picked that comment of mine to reply with that reply? I was just correcting an error. Your reply seems irrelevant to my comment.

I was just saying that “one more than 0” isn’t a function just because in Peano arithmetic, the successor function, along with the constant 0, is used to denote natural numbers.