Arto's Notes re: Zermelo–Fraenkel set theory (ZFC)