Список проголосовавших за комментарий "Бобровский Дмитрий, что бы там ни было для чего то, остается справедливым то, что я сказал выше: непротиворечивость доказать невозможно, поэтому «непротиворечивых» систем не существует.<br/> <br/> Вообще говоря, как-то мне представляется, что если бы было возможно доказать непротиворечивость системы, можно было бы решить проблему автоматического вывода теорем"