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, ...}
...
[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)
SM-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)
...
[S6]-point number
CM-I do not know the item number
...,( 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, ...}
...
[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)
SM-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)
...
[S6]-point number
CM-I do not know the item number


