个集合，通过定义它自身将必定是个序数；那么它将是自身的成员，这跟正规公理矛盾。（请参见布拉利-福尔蒂悖论）。所有序数的类通常写为"Ord"、"ON"或"∞"。一个序数是有限的，当且仅当它的反序也是良序的，即当且仅当它的所有子集都有最大元素。假设良序定理，所有集合都可加上良序关系。利用超穷递归可证明所有良序集都与某序数同构（即存在双射使得a>b ⇔ f(a)>f(b)）。有限集合所有良序关系都是同构的，若有"n"个元素，对应序数就是"n"。无限集合有无限的良序关系，如自然数集配以0<2<4<...<1