- Thread starter
- #1

#### Mathelogician

##### Member

- Aug 6, 2012

- 35

In Enderton's "elements of set theory", he first discusses the red and then after some explanations

he discusses the brown as the general form of transfinite recursion theorem schema.

Then in the blue example, he uses the general form(brown) to show that the first form(red)is a

special case of that.

Now i am confusing with the blue part!

Why does the green part hold?

And how can we prove the yellow part?

Thanks,

Mathelogician