Category:Class of All Ordinals is Proper Class