## Axiom of Infinity – Natural Number

Hello friends. Turn back to the discussion of set theory. This time I will continue from the previous post. We will discuss about the definition of natural numbers according to Alexander Abian, Finite Induction Theorem, also one of the characteristic of natural numbers.

**Definition:**

An element of the set is called natural numbers.

Will be introduced the general form of some elements of the set :

and so on. So, the natural number itself is actually a set.

**Finite Induction Theorem**

If is the set of natural numbers such that “ and if ” then .

**Proof :** (more…)

## Axiom of Infinity

In this post, we will start to discuss about set theory. This is in accordance with the theme of my website. Some posts before or even later, there may be other material discussions such as calculus, discrete mathematics, several articles, or others. But the discussion of the particular set theory of finite and infinite set as much as possible I will update and written in a continuous.

In writing the set theory, I will take some from the book of Alexander Abian and Patric Suppes. Some will be concise and some others I will describe in my own language.

The infinite axiom says that there is a set such that and if then . For further, will be denoted by notation which is called the immediate successor of . From the above definition, then obtained some elements inside is :

It is clear that some elements is formed from using definitions. However also possible to have different elements with the form above. For example have element then and so on are also elements .

**Theorem :**

There is a single set such that and if then . Furthermore, is the smallest set that has the conditions “ and if then ” (more…)

## Recent Comments