#zermelo set theory #axioms #set notation #foundation of mathematics #axiom of infinity #z