Set Theory based on Combinatory Logic.