Дедуктивные доказательства

Дедуктивный метод является наиболее распространенным в математике способом построения доказательств. Поговорим про аксиоматический подход к построению теории, программу Гильберта, теоремы Гёделя, континуум-гипотезу Кантора.

Список источников к видео:
[1]  В.А. Успенский, Н.К. Верещагин, В.Е. Плиско «Вводный курс математической логики». – М.: Физматлит, 2004.
[4] Н.В. Ефимов  «Высшая геометрия». – М.: ФИЗМАТЛИТ, 2003.
[7] П. Бернайс, Д. Гильберт «Основания математики. Теория доказательств». – М.: «Наука», 1982.
[9] П.Дж. Коэн «Теория множеств и континуум-гипотеза». – М.: «Мир», 1969.