User blog comment:Fejfo/Uncountable indexed veblen function/@comment-5529393-20180517062334/@comment-30869823-20180517163057

I don't understand why  \( \varphi_\omega(\Omega) \) is a problem Ω is a fixed point of the veblen functions anyway. Ofcourse Ω itself is meant to be regular.