- Thread starter
- #1

Sx = Sy -----> x = y

The converse, which characterizes S as a function:

x = y ------> Sx = Sy

Is never shown. Neither is it shown as an Axiom of FOL or formal Theory of Arithmetic. From the basic axioms and rules of FOL, how does one go about deriving the latter expression formally? Any help or references appreciated. am