Проблема Ферма в контексте Гёделевских теорем

В статье обсуждается влияние результата Геделя о существовании в достаточно богатых формальных системах истинных, но недоказуемых утверждений на развитие математики и, более широко, на естественно-научное мировоззрение.