HOME TOP UP PREV NEXT 1 2 GERMAN MAP      Tractatus Logico-Philosophicus 6.02


6.02
And thus we come to numbers: I define
x =  OMEGA 0'x Def. and
 OMEGA ' OMEGA v'x =  OMEGA v+1'x Def.

According, then, to these symbolic rules we write the series x,  OMEGA 'x,  OMEGA ' OMEGA 'x,  OMEGA ' OMEGA ' OMEGA 'x . . . . . as:  OMEGA 0'x,  OMEGA 0+1'x,  OMEGA 0+1+1'x,  OMEGA 0+1+1+1'x . . . . .

Therefore I write in place of "[x,  xi ,  OMEGA '  xi ]",

"[ OMEGA 0,  OMEGA v'x,  OMEGA v+1'x]",

And I define:


0 + 1 = 1 Def.
0 + 1 + 1 = 2 Def.
0 + 1 + 1 + 1 = 3 Def.
and so on.


6.021
A number is the exponent of an operation.

6.022
The concept number is nothing else than that which is common to all numbers, the general form of a number.


HOME TOP UP PREV NEXT 1 2 GERMAN MAP      Tractatus Logico-Philosophicus 6.02