Список проголосовавших за комментарий "Еще в 1931 году 25-летний математик Курт Гёдель опубликовал свои теоремы о неполноте. В своей простейшей форме они по существу утверждают, что никакая формальная система не может быть одновременно и полной, и непротиворечивой. //<br/> <br/> Учтём при совершенствовании своей ТС. <img smile="hi"/><br/> <br/> <br/> "