In axiomatic set theory, all objects is a set.
Although it is very natural, it is not easy to understand.
For example, $\mathbb{N}$ is "natural number" and must be a set in the theory.
The definition is as follow;
You must know a empty set $\phi$ .
$\exists y \forall x\neg [x\in y]$ .
$y$ means $\phi$ .
We represent $\phi=0$ and $\left\{ \phi \right\}=1$ .
Next, $2=1+\left\{ 1 \right\}=\left\{\phi, \left\{ \phi \right\} \right\}$ ,
$\cdots \cdots \cdots$ , and
$n+1=1+\left\{ n \right\}$ .
In addition, axiom of infinity is defined;
$\exists x[0\in x\wedge \forall y(y\in x\rightarrow (y\cup \left\{y \right\})\in x)]$ .
How do you feel this.
0 件のコメント:
コメントを投稿