6.02
And thus we come to numbers: I define
| x= | Ω0’x Def. and |
| Ω’Ων’x= | Ων+1’x Def. |
x, Ω’x, Ω’Ω’x, Ω’Ω’Ω’x,…
as:
Ω0’x, Ω0+1’x, Ω0+1+1’x, Ω0+1+1+1’x,…
Therefore I write in place of “[x, ξ, Ω’ξ]”,
“[Ω0’x, Ων’x, Ων+1’x]”.
And I define:
| 0+1=1 Def. |
| 0+1+1=2 Def. |
| 0+1+1+1=3 Def. |
| and so on. |