见布拉利-福尔蒂悖论）。所有序数的类通常写为"Ord"、"ON"或"∞"。一个序数是有限的，当且仅当它的反序也是良序的，即当且仅当它的所有子集都有最大元素。假设良序定理，所有集合都可加上良序关系。利用超穷递归可证明所有良序集都与某序数同构（即存在双射使得a>b ⇔ f(a)>f(b)）。有限集合所有良序关系都是同构的，若有"n"个元素，对应序数就是"n"。无限集合有无限的良序关系，如自然数集配以0<2<4<...<1<3<5<...对应的序数是ω+ω。注意，序数的元素必然是序数，而序数的子集亦必