ZF-аксіоми були сформульовані в сучасному стані Торальфом Сколемом в 1922 році, і є розвитком системи аксіом Адольфа Френкеля, яка в свою чергу базувалась на системі аксіом, сформульованій Ернестом Цермело.