2. 0<b
3.
f:(
). (
n:. n
b-1 & f(n)) 
f(mu(f)) & (i:. i<mu(f) 
f(i))
4. f :
5. n :
6. n
b
7. f(n)
8.
f(0)
9.
n = 0
10. f(mu(
x.f(x+1))+1) & (i:. i<mu(x.f(x+1)) f(i+1))
f(mu(x.f(x+1))+1) & (i:. i<mu(x.f(x+1))+1 f(i))
f:(). (n:. nb-1 & f(n)) f(mu(f)) & (i:. i<mu(f) f(i))
b
f(0)
n = 0
x.f(x+1))+1) & (i:. i<mu(x.f(x+1)) f(i+1))
f(mu(x.f(x+1))+1) & (i:. i<mu(x.f(x+1))+1 f(i))| By: |
|
| 1 |
x.f(x+1))+1)
11. i:. i<mu(x.f(x+1)) f(i+1)
12. i :
13. i<mu( x.f(x+1))+1
f(i) | 4 steps |
| 2 |
x.f(x+1))+1)
11. i:. i<mu(x.f(x+1)) f(i+1)
12.
n:. f(n+1) | 1 step |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |
 |