Tractatus

6.02

And thus we come to numbers: I define

x=Ω0x  Def. and
Ω’Ωνx=Ων+1x  Def.
According, then, to these symbolic rules we write the series
x, Ω’x, Ω’Ω’x, Ω’Ω’Ω’x,
as:
Ω0x, Ω0+1x, Ω0+1+1x, Ω0+1+1+1x,
Therefore I write in place of “[x, ξ, Ω’ξ]”,
“[Ω0x, Ωνx, Ων+1x]”.
And I define:
0+1=1  Def.
0+1+1=2  Def.
0+1+1+1=3  Def.
and so on.

Continue