4
votes
2answers
68 views

Is it necessary to use the axiom of Regularity to prove the successor function being injective?

Basically the problem is that given an inductive set $X$ we can define the successor function on $X$ such that $S:X\longrightarrow X$ and for all $x\in X$, $S(x)=x\cup \{x\}$. So, one of Peano axioms ...
3
votes
2answers
303 views

Axiom schema and the definition of natural numbers

An axiom schema is used to generate the axioms, which inductively define the natrual numbers using the empty set and the successor function $S$. I don't understand why you have to define this set as ...