Title: Set theory based on combinatory logic
Subjects: Axiomatic set theory, Combinatory logic