User blog comment:SuperJedi224/Question/@comment-5029411-20141124132603/@comment-1605058-20141126131725

What is Veblen hierarchy with uncountable subscript?