Великая теорема Ферма (или последняя теорема Ферма) — одна из самых популярных теорем математики; её условие формулируется на понятийном уровне среднего общего образования, а доказательство теоремы искали многие математики более трёхсот лет. Окончательно доказана в 1995 году Уайлсом.