Теорема Геделя про повноту
Теорема Геделя про повноту — твердження про повноту класичного числення предикатів, доведене Куртом Геделем 1930 року.
|
Якщо предикатна формула істинна в будь-якій інтерпретації, то її можна вивести в численні предикатів. | 
|
Теорема Геделя про повноту є однією з найважливіших теорем математичної логіки. Вона демонструє, що класичне числення предикатів містить всі логічні закони, які можуть бути подані через предикативні формули.
Відомі численні варіанти та узагальнення теореми Геделя про повноту. Наприклад, якщо з множин предикативних формул M неможливо вивести суперечність за допомогою правил числення предикатів, то існує модель для M, тобто така інтерпретація, в якій істинні всі формули з M. Цей результат став однією з засад побудови теорії моделей.
- Безущак, Оксана; Ганюшкін, Олександр (2023). Математична логіка (PDF). Київ: Видавничо-поліграфічний центр "Київський університет". с. 143. ISBN 978-966-933-248-6.
- Олійник А.С.; Сущанський В.І. (2013). Математична логіка. Київ: Видавничо-поліграфічний центр "Київський університет". с. 171. ISBN 978-966-439-650-6.
- Hermes, Hans (1973). Introduction to Mathematical Logic. Universitext. Springer Berlin, Heidelberg. с. 122—143. ISBN 978-3-540-05819-9.
|
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |