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

 Are you really sure you are using the logic of ordinals here, or are you just stuck in the paradigm.

Obviously 1+w[n] != w[n], whether we are talking about ordinal arithmetic or not! Think about it.

.