Systems of set theory