The axioms of Zermelo-Fraenkel set theory don't admit the construction of a "set of all sets that don't contain themelves".