6.011
Ich definiere nun:
x = O0'x Def.
O'Oν'x = Oν + 1'x Def.



Also schreibe ich statt: „O'x” „O'O0'x” = ˇoder „O0 + 1'x”
statt „O'O'x” „O1 + 1'x”0 + 1 = 1 Def            1 + 1 = 2 Def
statt „O'O'O'x” „O1 + 1 + 1'x”                      1 + 1 + 1 = 3 Def u.s.w.