Axioms of set theory