En mathématiques, le premier ordinal non dénombrable, noté ω₁ ou parfois Ω, est le plus petit ordinal non dénombrable ; c'est aussi l'ensemble des ordinaux finis ou infinis dénombrables. En d'autres termes, c'est l'ordinal de Hartogs de tout ensemble infini dénombrable.
