User blog comment:Boboris02/MBOT/@comment-24920136-20161219043958/@comment-24920136-20161219180007

I based my assesment on his f_3(n) example. He originally states that while the elements are ill defined, they can be given ad hoc well defined meanings,  which i interpreted as, one could make a definition so that a f_3(n) analog can be well defined. But as i've stated even if this were the case, one could not diagonalize from that so that a f_w(n) analog is well defined.

In this paragraph, diagonalization takes its more literal form where we form a grid or matrix like

f_0(0), f_0(1), f_0(2), f_0(3)

f_1(0), f_1(1), f_1(2), f_1(3)

f_2(0), f_2(1), f_2(2), f_2(3)

f_3(0), f_3(1), f_3(2), f_3(3)

where f_w(n) can be understood as representing the "nth element of the nth row." ie: a diagonal line down across the grid.