You are on page 1of 3
• • • D D D D D , . . . , D ,

• • • D D D D D , . . . , D ,

D D D D D D

D 1 ,

. . .

, D n D 1 ,

D 1

. . .

D n

. . .

, D 1

D 1

...D

n

Succ (Succ Zero)

Succ (Succ (Succ ))

Succ Zero

Succ (Succ ⊥)
Succ (Succ ⊥)

Zero

• • • D D D D D , . . . , D ,
Succ ⊥
Succ ⊥

. . .

. . .

d

e 1 ,

. . .

, e k v d v e i 1 i k

n n