ФЕРМАНИНГ БУЮК ТЕОРЕМАСИ — П. Ферманинг юнон математиги Диофантнутт тенгламаси ечимлари мусбат бутун сонлар билан ифодаланмайди, деган даъвоси тасдиғи (бунда и — иккидан катта бутун сон). П. Ферманинг бу теореманинг исботини билганлиги ва ёзишга жой бўлмагани учун келтирилмагани ҳақида маълумот берган бўлишига қарамай, бу теоремани инглиз математиги Э. Уайлс алгебраик геометриянинг мураккаб усулларини қўллаб исботлади (Э. Уайлс бу ҳақида 2002 и. Хитойда бўлиб ўтган математикларнинг бутунжақон конгрессида эълон қилди).