Processing math: 9%

ページ

2015/09/16

axiomatic sets (ZFC)

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 件のコメント:

コメントを投稿