Tekstiviesti: Abstract sets and finite ordinals :