All Questions
3
questions
0
votes
1
answer
85
views
In ZFC, do we use the set $\mathbb{N}$ in the definition of $\mathbb{N}$ recursively?
In ZFC set theory, we define the set of the natural numbers as follows: By the axiom of infinity, an inductive set exists. Let I be an inductive set. Then, $\mathbb{N}$ is defined as $\{ x\in I |\...
1
vote
3
answers
2k
views
Is natural numbers set $\mathbb N$ infinite set?
A set with uncountable number of elements is called an infinite set.
Is that the set of all natural numbers, $\Bbb N=\text{{$1,2,3,\ldots$}}$ infinite set?
As far i know $\Bbb N$ is "countably" ...
0
votes
1
answer
184
views
Is this a correct definition of the natural numbers in ZF?
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 ...