Sideway from Sideway
Draft for Information Only


 Algebraic Number
  Natural number
    Addition Function

Algebraic Number

An algebraic number is defined as the root of a nonzero polynomial equation. In general, algebraic numbers are complex numbers, however algebraic numbers can also be algebraic real numbers. In other words, natural numbers, whole numbers, integers, rational numbers and algebraic irrational numbers can also be alegbraic numbers.

Natural number

Natural numbers, 1,2,3,... are the numbers used for counting. These numbers are generated by a successor function, S(n)=n+1 and number 0 is naturally the empty quantity used in counting. By setting a+0=a and a+S(b)=S(a+b) for all a,b, if 1 is defined as S(0), then a+1=a+S(0)=S(a+0)=S(a). In other words, the set N= {0,1,2,...} of natural numbers including number 0 are the closure set of the set {0} under the successor operation, +1. The properties of the set of succerssor operation are 0∈S, and n+1∈S when n∈S. The set of  natural numbers N is therefore a subset of set S, that is N⊆S. The properties of N by induction are

  1. If 0∈S, and if n+1∈S when n∈S, then N⊆S.
  2. If 0∈S, and if n+1∈S when 0,1,2,...,n∈S, then N⊆S.
  3. If T⊆N is nonempty, then T has a least member, n:n∈T where T is the closure set of the set {n} under the successor operation +1.

From property 1 and assuming property 2 is true. Considering a subset S'={n:0,...,n∈S} of S that is S'⊆S.

  • 0∈S'⇒  0∈S, by property 1
  • n∈S'⇒  n∈S, by property 1 for all n in S'
  • n∈S'⇒  0,...n∈S, by property 1
    • n∈S⇒  n+1∈S, by the assumption of property 2
    • n+1∈S⇒  0,...,n+1∈S, by property 2
  • n∈S'⇒n+1∈S' by considering number n+1 in S as element of S'
  • n+1∈S'⇒N⊆S' by property 1
  • N⊆S'⇒N⊆S by set property S'⊆S

 From property 2 and assuming property 3 is true. Considering a subset T⊆N and let S'=N-T.

  • If T has no least member ⇒0∈S' since number 0 cannot be the least member of T
  • 0∈S'⇒0∉T by the assumption S'=N-T
  • 0,...,n∈S'⇒0,...,n∉T by property 2 and assumption S'=N-T
  • n+1∉T⇒n+1∈S' Since n+1 cannot be the least member of T
  • n+1∈S'⇒ N⊆S' by property 2
  • N⊆S' ⇒ T is empty. since T⊆N and  S'=N-T
  • If T has no least member then T=∅⇒T has a least member n then T is nonempty and n∈T 

In other words,

  • If T has an least member n ⇒n∈T
  • n∈T⇒n∉S'
  • n+1∈T⇒n +1∉S' by the successor operation +1
  • T in nonempty

From property 3 and assume property 1 is true. Suppose 0∈S, and n+1∈S when n∈S. Let T=N-S.

  • 0∈S'⇒0∉T
    •  0<n∈T⇒n∉S' assuming T has a least member n
    • n∉S⇒n-1∉S by assumption of property 1
    • n-1∉S⇒ n-1∈T
    • n-1<n ⇒ n is not the least member of T, therefore T do not has a least member
  •  T has no least member⇒T is empty by property 3
  • T=N-S=empty⇒N⊆S.

Addition Function

The addition function can be based on the successor function. The definition of m+n are

  • n=0: m+0=m for all m∈N
  • n=k+1: m+(k+1)=(m+k)+1 for all m,k∈N



ID: 181000003 Last Updated: 10/3/2018 Revision: 0 Ref:



  1. Paulo Ribenboim, 2000, My Numbers, My Friends: Popular Lectures on Number Theory
  2. Kenneth H. Rosen, 2012, Discrete Mathematics and Its_Applications

Latest Updated LinksValid XHTML 1.0 Transitional Valid CSS!Nu Html Checker Firefox53 Chromena IExplorerna

Home 5






Hobbies 8


Chinese 1097

English 339

Reference 79


Hardware 226


Application 213

Digitization 32

Latex 52

Manim 205

KB 1

Numeric 19


Web 289

Unicode 504


CSS 65

SVG 46


OS 429

DeskTop 7

Python 72



Formulas 8

Algebra 84

Number Theory 206

Trigonometry 31

Geometry 34

Coordinate Geometry 2

Calculus 67

Complex Analysis 21


Tables 8


Mechanics 1

Rigid Bodies

Statics 92

Dynamics 37

Fluid 5

Fluid Kinematics 5


Process Control 1

Acoustics 19

FiniteElement 2

Natural Sciences

Matter 1

Electric 27

Biology 1

Geography 1

Copyright © 2000-2023 Sideway . All rights reserved Disclaimers last modified on 06 September 2019