Аннотация:
Формулировка теоремы. Обсуждение условий теорем Гёделя и Гёделя-Россера. Неотделимые пары перечислимых множеств. Теорема о существовании неотделимых пар перечислимых множеств. Лемма о двойном представлении пар. Доказательство теоремы Гёделя-Россера. Доказательство леммы о двойном представлении. Минимальная арифметика MA' и ее свойства.
Обратная связь: