Разрешение неоднозначностей

Теорема Гёделя

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Теорема Гёделя может означать одну из следующих теорем, доказанных Куртом Гёделем: