Presupposition - All points of a longer (the infinite form) can be replaced with labels: (0), (0.1),

...,( 0,1,2,3,4,5,6,7,8,9 ),...

The process:

P1-N(0)= {0,00,000,0000,...}

P2-N(0,1)= {0,1,10,11,100,...}

...

P10-N (0,1,2,3,4,5,6,7,8,9) = {0,1,2,3,4,5,6,7,8,9,10,11, ...}

...

[attachment=15537]

[S4]-numeric along

[S5]-set of natural numbers N

We will use N (0,1,2,3,4,5,6,7,8,9) = {0,1,2,3,4,5,6,7,8,9,10,11,12 ,...}

Definition of-numeric along a starting point, the last point at infinity

-The number 0 is the point 0

-Other numbers are longer, the first item is 0, the last point is the point of the name (number)

CM-I know the term but long term numeric numeric rays (line)

Natural numbers and zeros are given axiom

---------------------------------------------------------------------------------------------

Presupposition-point numbers have their

The process:

P1-0 = (.0)

P2-1 = (.0,1)

P3-2 = (.0,1,2)

P4-3 = (.0,1,2,3)

P5-4 = (.0,1,2,3,4)

...

[attachment=15539]

[S6]-point number

CM-I do not know the item number