Вопросы по теореме о неполноте Гёделя

[Dicson]

Спасибо за подсказки. Вроде понятнее стало - по крайней мере, где искать, попробую пока сам разобраться. Если это можно, пусть тема пока здесь будет.

[arseniiv]

Уже стало традицией требование в подобных темах сформулировать теорему, о которой идёт речь. Пожалуйста, сделайте это сначала. (А то вот, знаете ли, аксиомы Гильберта элементарной геометрии, например, дают полную и непротиворечивую теорию.) Также было бы неплохо услышать определения полноты, противоречивости… — половину вопросов должно как рукой снять!

[Deggial]

Тема перемещена из форума «Дискуссионные темы (М)» в форум «Карантин»
Причина переноса: не приведены попытки решения (эта тема - для ПРР), формулы не оформлены $\TeX$ом

Dicson
Приведите попытки решения, укажите конкретные затруднения.
Наберите все формулы и термы $\TeX$ом.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
См. также тему Что такое карантин, и что нужно делать, чтобы там оказаться.
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.