Recent content by hodgestructur

I think the solution has a problem. You wrote that : We have just shown above that if, ...Thus 0 D is inductive But I think you didn't prove the above clame. Since the proof you gave only for those W_n which has a predecessor element. In fact, you can well-order, but can't...