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

Дедуктивный метод является наиболее распространенным в математике способом построения доказательств. Поговорим про аксиоматический подход к построению теории, программу Гильберта, теоремы Гёделя, континуум-гипотезу Кантора. Список источников к видео: [1] В.А. Успенский, Н.К. Верещагин, В.Е. Плиско «Вводный курс математической логики». – М.: Физматлит, 2004. [2] «Начала» Евклида. – Большая российская энциклопедия.https://bigenc.ru/mathematics/text/2253744 [3] Лобачевского геометрия – Большая российская энциклопедия.https://bigenc.ru/mathematics/text/2177061 [4] Н.В. Ефимов «Высшая геометрия». – М.: ФИЗМАТЛИТ, 2003. [5] Метаматематика. – Большая российская энциклопедия. https://bigenc.ru/mathematics/text/2208029 [6] Д. Гильберт «Основания геометрии». https://archive.org/details/libgen_00151717/mode/2up [7] П. Бернайс, Д. Гильберт «Основания математики. Теория доказательств». – М.: «Наука», 1982. [8] Аксиоматический метод. – Большая российская энциклопедия. https://bigenc.ru/mathematics/text/1807518 [9] П.Дж. Коэн «Теория множеств и континуум-гипотеза». – М.: «Мир», 1969. [10] Канторовское множество: https://youtu.be/7Vki9YD4eaU #дедукция