Sets and Logic