User blog comment:PolyhedralMatrix102/"Bigger" notation/@comment-32783837-20180319182438

You can't diagonalize over "any ____ that will ever be thought of". That's not even remotely well-defined and it never will be. Classic mistake.