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