Основания математики

ОСНОВАНИЯ МАТЕМАТИКИ - совокупность исследований, направленных на анализ строгости доказательств и непротиворечивости математических теорий. Как особая сфера исследований оформилась в начале XX в. в связи с проблемой устранения парадоксов, обнаружившихся в теории множеств. Первая задача этих исследований состоит в обосновании строгости признанных доказательств и освобождении существующих математических теорий от парадоксов известных типов. Вторая — в выявлении условий полной надежности математической теории в смысле строгости доказательств и отсутствия противоречий.