Список проголосовавших за комментарий "Бобровский Дмитрий, теорема Геделя не доказывает непротиворечивость. Она лишь доказывает(может быть) тот факт, что непротиворечивая система должна быть неполной(иными словами — всякая полная система противоречива). На основании этого невозможно вывести непротиворечивость конкретной системы"