Abstract Sets and Finite Ordinals