A history of set theory