Re: Transfinite exhaustion

I actually didn't remember the exact proof - was quite a long time ago.
As far as I remember, he started using the simple fact that between 2
values we can find another one and then he was able to approximate
every value somehow... or something like that.

My interest in this term is that I recently made some proofs using this
method - I construct some system by transfinite induction and at some
step the transfinite process stops - and at this step I obtain the
object, whose existence I wanted to prove. The argument, why I must
stop at some point, is that otherwise there would be a proper class of
some objects - which is a contradiction.

It seems quite possible to rewrite proofs like these using ZL (actually
I'm too lazy to write it down).
So I hoped to find analogous kind of proof somewhere - to persuade
myself, that this method is kind of standard.

Martin

.