Set Theory and its Applications