# Can the Natural Numbers (or equivalent) be Constructed from the Ring Axioms?

With only the additional axiom that $0\neq 1$, I think I have been able to formally construct the a subset $n$ of the ring $(R,+,*,0,1)$ using only a subset axiom (specification in ZF).

Informally, $n=\{1, 1+1, 1+1+1, ...\}$

I have shown the that equivalent of Peano's Axioms (including induction) holds on this subset. Can this be true? Would this not imply that all rings with $0\neq 1$ are infinite?

-
Maybe you could show the construction? –  nonpop Dec 2 '12 at 7:29
My mistake. I was, however, able to establish the equivalent of the other Peano Axioms (including the induction principle) plus $x\neq S(x)$ or $x\neq x+1$. –  Dan Christensen Dec 1 '12 at 19:18