Diferencia entre revisiones de «Número ordinal (teoría de conjuntos)»

sin resumen de edición
 
De la definición dada por von Neumann puede probarse:
{{teorema|1=#Un ordinal es un conjunto bien ordenado por la relación de inclusiónpertenencia.
#Los elementos de un ordinal son ordinales también. (Por tanto, un ordinal es el conjunto de todos los ordinales menores que él).
#La ''colección de todos los ordinales'' está a su vez bien ordenada por la relación de pertenencia, o sea:
Usuario anónimo