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

Okay fair enough. But there is no neccesity to take this approach. The fact is, there is missing information if your going to claim that f_1+w(n) = f_w(n). My approach is perfectly valid, and has the advantage that we needn't include anything about ordinal arithmetic, nor do we need to make special conditions in order to decide a fundamental sequence.