First infinite ordinal