2. f : {f | i:{i1:
| i1 (
i,j. i<j) i } 
if i=
0
else {f(i-1)...} fi}
3.
j:{k:| k<i }. f(j) 
4. i
0
{f(i-1)...}
| i1 (i,j. i<j) i } if i=0 else {f(i-1)...} fi}
j:{k:| k<i }. f(j)
0
{f(i-1)...}| By: |
|
| 1 |
f(i-1)+1  | 3 steps |
| 2 |
f(i-1) f(i-1)+1 | 3 steps |
| 3 |
(f(i-1)j) Prop | 3 steps |
About:
 |  |  |  |  |  |
 |  |  |  |  |
 |