12. Следствия аксиом ZF

00:00 - список аксиом ZF 02:37 - определяемая часть множества 10:37 - существование пустого множества 16:14 - определение 1 и двоеточия 17:50 - существование пары 23:19 - синглет 23:38 - объединение, пересечение, разность 25:55 - регулярность множеств