Ковалевская, Софья Васильевна
Со́фья Васи́льевна Ковале́вская (урождённая Корвин-Круковская; , Москва — , Стокгольм) — русский и , с 1889 года иностранный член-корреспондент Петербургской Академии наук. Первая в России и в Северной Европе женщина-профессор и первая в мире женщина — профессор математики (получившая ранее это звание Мария Аньези никогда не преподавала). Автор повести «Нигилистка» (1884) и «Воспоминания детства».
Теорема Париса — Харрингтона
Теорема Па́риса — Ха́ррингтона (или Пэ́риса — Ха́ррингтона) — теорема в математической логике, ставшая первым в истории математики естественным и относительно несложным примером утверждения о натуральных числах, которое истинно, но недоказуемо в аксиоматике Пеано.
Существование недоказуемых теорем арифметики прямо вытекает из первой теоремы Геделя о неполноте (1930 год). Кроме того, вторая теорема Гёделя, (опубликованная вместе с первой), дает конкретный пример такого утверждения: а именно утверждение о непротиворечивости арифметики. Однако долгое время не было известно «естественных» примеров таких утверждений, то есть таких утверждений, которые бы возникали не из утверждений о некоторой логике, а были бы естественными математическими утверждениями о числах. 