И. В. Сухан, О. В. Иванисова, Г. Г. Кравченко, “Аксиоматический метод в курсе математической логики в вузе: от Эвклида до Гёделя”, Матем. обр., 2017, выпуск 4(84),страницы 28

Студентам и преподавателям математических специальностей

Аксиоматический метод в курсе математической логики в вузе: от Эвклида до Гёделя

И. В. Сухан, О. В. Иванисова, Г. Г. Кравченко

Кубанский государственный университет, г. Краснодар

Аннотация: В статье дан краткий исторический обзор развития математической логики, а также приведено изложение некоторых важных результатов современной логики, в частности, теорем Гёделя.

Ключевые слова: аксиоматический метод, неформальная аксиоматическая теория, формальная аксиоматическая теория.

УДК: 510.23