Теорема Гьоделя про полноту
Айдать на коробушку
Айдать на сыскальник
Теорема Гьоделя про полноту - тверженне про полноту класичново числення предикатов: еси предикатна формула взабольна в какой-нить интерпретацыи, то йо мочно вывессь в численни предикатов. Доведена К. Гьоделем (1930).
Теорема Гьоделя про полноту – водна с самоказачных теоремов математишной волупки. Вона демонстроват, чо класично численне предикатов городить все волупкины коны, каки могут быть поданы скрозь предикативны формулы.