Fakir>в существующих математических теориях не хватает чего-то принципиально важного Слишком громко сказано. При любой системе аксиом существуют утверждения, верные, но недоказуемые (Теорема Гёделя о неполноте). Теорема Ферма запросто могла оказаться из таких. Вместе с гипотезой Коллатца.
А вот физическая теория - уже интереснее. Её можно проверять на соответствие реальности.