- Chương trình Langlands là tập hợp nhiều giả thuyết do Robert Langlands (Canada) đề xuất năm 1967 nhằm thống nhất một số nhánh của toán học hiện đại như số học, đại số và giải tích.
- Các giả thuyết đó đều dựa trên một giả thuyết nền tảng là Bổ đề cơ bản, khi đó chưa được chứng minh nhưng mặc nhiên được xem là đúng và sử dụng.(GS Ngô Bảo Châu đã chứng minh được năm 2008).
- Bổ đề cơ bản là một bổ đề vì bản thân nó chỉ là một bài toán có tính kỹ thuật. Còn cơ bản vì nếu nó không đúng thì Chương trình Langlands sẽ sụp đổ.
Theo GS Ngô Bảo Châu, Chương trình Langlands xếp ngang hàng với Hình học phẳng của Euclid hay Nhóm Galois trong giải phương trình đại số.