User blog comment:Vel!/1+w/@comment-5982810-20141011205641

1. 1+w = w (by definition of ordinal arithmetic)

If your going to assume this in the premise what's the point of the proof? If we don't assume 1+w = w there is no problem.