Set theory underpins modern mathematical logic by providing a unified language for defining fundamental mathematical objects and analysing their properties. At its core lies the Zermelo–Fraenkel ...