Список проголосовавших за комментарий "MS, <blockquote>Теорема Гёделя о неполноте.</blockquote><br/> Вы уверены?<br/> Мне казалось что она о другом: о том, что если система полна, значит она противоречива. Хотя, честно говоря, никогда ее не понимал толком:) Точней, понимаю, что она доказывает, но не понимаю самого доказательства"