Теорема Льоба

Теорема Леба — теорема в математичній логіці про взаємозв'язок між доказовими твердження і самим твердженням. Доведена математиком Мартіном Лебом в 1955 році.

Теорема Леба стверджує, що у всякій теорії, що включає аксіоматику Пеано, для будь-якого висловлювання $P$ доведеність висловлювання «доведеність $P$ тягне $P$» можлива тільки у разі доведеності самого висловлювання $P$. Символічно ця теорема може бути записана наступним чином:

$\Box (\Box P\rightarrow P)\rightarrow \Box P.$

Наслідком теореми Леба є те, що тільки в суперечливій теорії висловлювання «доведеність $P$ тягне $P$» доказове для всіх тверджень $P$.

Деякі дослідники відзначають, що теорема Леба може розглядатися як результат формалізації міркувань, аналогічних парадоксу Каррі, за допомогою нумерації Ґеделя.

Посилання

• Löb's theorem (англ.)
• Колмогоров А. Н., Драгалин А. Г. Математическая логика (рос.)