Talk:Class of All Ordinals is Ordinal

Copied from Burali-Forti Paradox, but it's an important result, and will be used later. --asalmon