Содержание
2 отношения: ZF, Система Цермело — Френкеля.
ZF
* ZF — система аксиом Цермело — Френкеля.
Посмотреть Урэлемент и ZF
Система Цермело — Френкеля
Система аксиом Цермело — Френкеля (ZF) является стандартной системой аксиом для теории множеств.
Посмотреть Урэлемент и Система Цермело — Френкеля
Также известен как Ур-элемент.