 But then the order type of the ordinals \(\lt \Omega\) is \(\Omega\) itself, which means that the order type of all the ordinals (including \(\Omega)\) is “greater”—but \(\Omega\) was defined as the order type of all the ordinals and should not be greater than itself!