User blog comment:Ikosarakt1/Uncountable function cannot exists/@comment-1605058-20130707061148/@comment-5150073-20130707115401

But if f_w_1(n) can exist, then how? If we get the function f(n) and suppose it to be at order type w_1, we can construct the fundamental sequence to it, which is by definition impossible.