- Thread starter
- #1

Sa = Sb --> a = b

where S is the successor function. How does one establish from the axioms that S is, in fact, a function, that is the converse

a = b --> Sa = Sb?

Probably a very simple matter, but I would appreciate any help in clarifying. Many thanks in advance,

Agapito