Existence of Set of Countable Ordinals