6˙011
Ich definiere nun:
     x = O0'x Def. und
❘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.
1 + 1 = 2 Def.      1 + 1 + 1 = 3 Def. u.s.w.