- #1
evinda
Gold Member
MHB
- 3,836
- 0
Hi! (Smile)
We want to show that the elements of the natural numbers are natural numbers, i.e. $(n \in \omega \wedge x \in n) \rightarrow x \in \omega$
Could you explain me why, in order to show this, it suffices to show that $X=\{ n \in \omega: (\forall y \in n)(y \in \omega)\}$ is an inductive set? (Worried)
We want to show that the elements of the natural numbers are natural numbers, i.e. $(n \in \omega \wedge x \in n) \rightarrow x \in \omega$
Could you explain me why, in order to show this, it suffices to show that $X=\{ n \in \omega: (\forall y \in n)(y \in \omega)\}$ is an inductive set? (Worried)