Вывод теоремы Геделя:

Теорема Геделя доказывает, что:

Теорема Геделя доказывает, что полной и непротиворечивой математической формальной системы не существует?

Теоремы в формальных системах доказываются на основании:

Какой вывод делается в конце доказательства нерешения программы остановки?

Вывод, что в любой математической формальной системе существуют верные утверждения, недоказуемые в рамках этой системы принадлежит: