Я в институте?Нет, не учила. Я их из школы все знала примерно.  А точные формулировки определяла в процессе доказательства.Вот еще вспомнила.В  предвыпускном классе наши математики решили нас приобщить к вечному, и дали задание каждому разобраться с какой-то математической темой. Типа "проект".Не помню уж как так вышло, но мне досталась теорема Гёделя о неполноте.  Может мне название понравилось, а может просто случайно вытянула, не помню. Мне книжку по этой теме выдали, брошюрка такая. https://media.au.ru/imgs/f2cf36b44553b4895e82af89d705c1f2/uspenskiy-v-a-teorema-gedelya-o-nepolnote-broshyura-1-6119681.jpgВначале я не понимала там вообще ни одного слова*. Потом потихоньку въехала, разобралась, тему сдала, до сих пор ее в общих чертах помню, а та брошюрка периодически мне на глаза попадается.    Не вернула ее владельцу, а надо бы.  Она именная.   Подарена автором одному из преподававших у нас студентов.   Который, видимо, мне ее и дал. "Дорогому X.X.  решившему такую-то проблему, от восхищенного автора".    (к вопросу о математиках нашей школы).  X.X.  тогда было  22 года, как я понимаю)ФПМИшники говорят, что у них это конец первого курса.   Я ее изучила, получается,  на 2 года раньше.  Причем сама, с нуля и примерно за месяц или даже меньшеА у меня в институте ее вообще не было, видимо не нужна считалась*Цитата из начала этой книжки:"Попытки уточнения начальной формулировкиПри определенных условиях для фундаментальной пары <Б, Т> и дедуктики <Д, D, б>  над  Б существует слово из Т, не имеющее доказательства. ""Назовем дедуктику <Д, D, б> полной относительно  (или для) фундаментальной пары  <Б, Т>, коль скоро б(D) э T"Кажется, примерно в то время я привыкла мало спать и поставила первый свой микрорекорд в примерно 8 часов сна за неделю. В институте  я спала  в среднем намного больше.