Redirecting to Zermelo–Fraenkel set theory