The Language of Sets