The Ordinals do not form a set. Proof Assume that is a set consisting of all ordinals is Well-ordered by Let be the Order Type of So , and is a proper Initial Segment of of order type , so is Order-isomorphic to which is a contradiction.