Теорема Гьоделя про полноту
Revision as of 07:41, 4 Ревуна 2006 by *>Amire80 (Test-WP/chal/Геделя теорема про полноту moved to Test-WP/chal/Теорема Гьоделя про полноту: ьо)
ГЕДЕЛЯ ТЕОРЕМА ПРО ПОЛНОТУ - тверженне про полноту класичново числення предикатов: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена К. Геделем (1930). Геделя теорема про полноту – водна с самоказачных теоремов математишной волупки. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы.