Định lý cuối của Fermat (hay còn gọi là Định lý lớn Fermat) là một trong những định lý nổi tiếng trong lịch sử toán học. Định lý này phát biểu như sau:
Không tồn tại các nghiệm nguyên khác không x, y, và z thoả mãn xn + yn = zn trong đó n là một số nguyên lớn hơn 2.
Định lý này đã làm hao mòn không biết bao bộ óc vĩ đại của các nhà toán học lừng danh trong gần 4 thế kỉ. Cuối cùng nó được Andrew Wiles chứng minh vào năm 1993 sau gần 8 năm ròng nghiên cứu, phát triển từ chứng minh các giả thiết có liên quan. Tuy nhiên chứng minh này còn thiếu sót và đến năm 1995 Wiles mới hoàn tất, công bố chứng minh trọn vẹn.