34. О независимости аксиомы выбора от аксиом ZF

2:10 - теорема Геделя о совместности аксиомы выбора с теорией ZF 5:00 - понятие релятивизации формулы языка ZF на множество 7:07 - конструктивный булеан множества 12:20 - конструктивные универсумы 13:42 - конструктивное множество 14:52 - аксиома конструктивности 27:15 - модель ZF с аксиомой конструктивности, совместность аксиомы конструктивности 29:28 - вывод аксиомы выбора в ZF с аксиомой конструктивности 48:46 - теорема Коэна о независимости аксиомы выбора от аксиоматики ZF 50:43 - аксиома счетного выбора 52:25 - независимость континуум-гипотезы и обобщенной КГ от аксиом ZF Доказываем теорему Геделя о совместности ZFC, после чего приводим результаты Коэна о независимости AC, CH и GCH от аксиоматики ZF.