136

Ничего такого Гедель не показал. Он доказал, что формальная арифметическая система либо неполна, либо противоречива. Что не мешает полностью формализовать всю наличесвущую математику. (Прим. ред.)