|
Нет, Гедель доказал, что в математике можно сформулировать некую гипотезу (огромное кол-во гипотез), которую принципиально НЕВОЗМОЖНО разрешить (доказать или опровергнуть) в рамках этого знания.
На первый взгляд это не тупик - можно дополнить математику новыми разделами, используя которые можно разрешить эту гипотезу, но и в рамках "новой" математики его теорема будет точно также работать - это вечная Неполнота и Недоказуемость.
Да простит меня математика за колхозный стиль изложения....
А аксиоматика это НЕпротиворечивость самих аксиом...
|