07/05/2010, 12:00 AM

Two things I don't get:

a+1=a o (a + 0)=a o a=a+2

By the definition of addition as iterated zeration, and the definition of zeration. Plus,

a o -inf = a

Since -inf is the unit element. But by the definition of zeration, a o -inf should be a+1. Why is this?

a+1=a o (a + 0)=a o a=a+2

By the definition of addition as iterated zeration, and the definition of zeration. Plus,

a o -inf = a

Since -inf is the unit element. But by the definition of zeration, a o -inf should be a+1. Why is this?