Список проголосовавших за комментарий "kot_vezdehot, Так ее и не может быть по определению, я же вам сказал. Там нечего доказывать. Вы что знаете хоть одну систему до Геделя, без аксиом? Что он «доказал» то? Это просто глупость, засирающая мозг."