11. Аксиомы ZF
00:00 - единственность терма-квантора
03:34 - аксиома объемности
04:20 - аксиома Гильберта
06:12 - аксиома объединения
08:28 - аксиома степени (булеана)
09:51 - определяемое отображение
11:52 - аксиома подстановки
16:26 - аксиома регулярности (фундирования)
19:40 - аксиома бесконечности
23:44 - про аксиому выделения
книжка:
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty: