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