Велика теорема Ферма (відома теорема Ферма, остання теорема Ферма) — твердження, що для довільного натурального числа рівняння (рівняння Ферма) не має розв'язків у цілих числах , відмінних від нуля.
Вона була сформульована приблизно в 1637 році французьким математиком П'єром Ферма.