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

By "assumption" I mean axiom or postulate. The definition of an ordinal, and of ordinal arithmetic, is just a construct here. We don't need to use that construct.