Title: Abstract sets and finite ordinals;