On the circularity of set-theoretic semantics for set theory