Структура математического знания и его соотношения с эволюцией математики. Программа Бурбаки
В 30-50 годы опубликовали обзор всей математики. Здесь они фактически принадлежали к школе формалистов. Они говорили что математика изучает математические структуры и т.д. Если не брать программу бурбаки – то просто здесь надо объяснить историю развития математики, что математика от сугубо прикладной штуки эволюционировала в очень абстрактную вещь . С тех пор математики перестали говорить о том, что они доказывают что-то очевидное. В те же годы появляется математика Лобачевского.