Así, si esa colección fuera un conjunto, tendría que ser un ordinal también, por definición; entonces sería un elemento de él mismo, lo cual contradice el axioma de regularidad.