Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Set $s$ is a natural number if $s$ is transitive and for every $x$, $y$ and $z$

  • $y\in{s}\rightarrow(y$ is transitive$)$, and if
  • $x\in{P}s\wedge(x$ is transitive$)\wedge{z}\in{P}x\wedge(z$ is transitive$)$ $\rightarrow{z}\in{x}\cup\{x\}$, and if
  • $x\in{P}s\wedge(x$ is transitive$)\wedge\bigcup{x}\neq{x}$ $\rightarrow x=\bigcup{x}\cup\{\bigcup{x}\}$.

Then $\emptyset$ is the first natural number, the successor of natural number $s$ is defined by $s\cup\{s\}$ and the predecessor of number $s$ is defined by $\bigcup{s}$. All Peano axioms are straightforward proved, including the principle of mathematical induction. Also the natural number arithmetic is proved, for example if $a$ and $b$ are natural numbers then with induction is proved $a+b$ and $a\cdot{b}$ are natural numbers. The set $\omega$ of natural numbers is then postulated as $s\in\omega\leftrightarrow(s$ is a natural number).

share|improve this question
1  
What does that $P$ denote? –  Asaf Karagila Mar 15 at 21:39
    
$Ps$ denotes the power-set of set $s$. –  d.h.homan Mar 16 at 8:55
    
I see. It would be clearer if you'd write $x\subseteq s$ and so on. –  Asaf Karagila Mar 16 at 9:32
    
You are right, there is no compelling reason not to use it. –  d.h.homan Mar 16 at 12:34

1 Answer 1

This definition is not for a natural number, but rather for an ordinal. Let's see that $s=\omega$ satisfies this definition.

  1. $\omega$ is transitive.
  2. If $y\in\omega$ then $y$ is transitive.
  3. If $x\subseteq\omega$ and transitive, and $z\subseteq x$ and transitive (in particular, both $x$ and $z$ are natural numbers), then $z\subseteq x\cup\{x\}$.
  4. If $x$ is a transitive subset of $\omega$ and $\bigcup x\neq x$ then $x=\bigcup x\cup\{\bigcup x\}$. This is true for every ordinal, because if $x$ is not a successor then $\bigcup x=x$. So the implication holds vacuously.

In order to limit the definition to finite ordinals you need to require that every $x\subseteq s$ which is transitive and non-empty satisfies, $x\neq\bigcup x$. This means that every ordinal $\leq s$ is zero or a successor.

share|improve this answer
    
Thank you for the reply. However, I do not want to use the set –  d.h.homan Mar 16 at 16:23
    
However, I do not want to use the set $\omega$. I claim the Peano axioms of the natural numbers can be proved with this definition: if $s$ satisfies the definition also $s\cup\{s\}$ satisfies the definition thus is a natural number, etc. Also the principle of mathematical induction can be proved. –  d.h.homan Mar 16 at 16:36
    
@d.h.homan: If you don't want $s=\omega$ to satisfy your definition of "natural number", then you have to put something in the axioms to make that happen; it's not good enough to just say "I don't want $\omega$ to be a natural number". (maybe I've misunderstood your objection; it's not completely clear) –  Hurkyl May 20 at 8:10

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.