Конструкция Куратовского упорядоченных пар
Автор: Elliot Nicholson
Загружено: 2020-09-30
Просмотров: 5242
Описание: Декартово произведение двух множеств необходимо перенести из наивной теории множеств в теорию множеств ZF. Конструкция Куратовского позволяет сделать это без необходимости определения каких-либо новых атомарных структур. Вместо этого декартово произведение можно построить/определить, используя структуры и аксиомы, уже определённые в теории множеств ZF.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: