6˙011
Ich definiere nun:
                    x = O0'x Def. und also
❘O0'x, O ❘x, ξ, O'ξ❘ = ❘O0'x, Oν'ξ, Oν + 1' ξ❘ und
                    O + 1 = 1 Def.
also schreibe ich statt „x, O'x, O'O'x, O'O'O'x etc.”
„O0'x, O1'x, O1 + 1'x, O1 + 1 + 1'x, etc”
Ich definiere
1 + 1 = 2 Def                     1 + 1 + 1 = 3 Def u.s.w.