The Logic of Sets and Elements