Теорема Гьоделя про неполноту
Айдать на коробушку
Айдать на сыскальник
Теорема Гьоделя про неполноту - вобча звання двух теоремов, чо были доведены К. Геделем (1931). Перва теорема Гьоделя про неполноту твердит, чо еси формальной уряд арифметики (зы. Формальна арифметика) несуперечлив, то в ней сышшетса формально нерозвязно тверженне, то есь така замкнута формула A, чо ни A, ни ┐A не есь теоремами етово уряда.
Втора теорема Гьоделя про неполноту твердит, чо в какоси A мочно взять формулу, кака природным чином выявит несуперечнось формальной арифметики.
Зы. ешшо Теорема Гьоделя про полноту