Title: Abstract sets and finite ordinals
Subjects: Set theory, Symbolic and mathematical Logic, Logic, symbolic and mathematical