User blog comment:Ikosarakt1/Uncountable function cannot exists/@comment-1605058-20130802172024/@comment-5150073-20130804090747

So, you agree that we can't define $$f_{\omega_1}(n)$$? By the title I just meant that it doesn't exists for googology, i.e. we can't construct some paradigm reaching this ordinal, and diagonalize through it, using a function.