Trong toán học, nguyên lý chuồng bồ câu, nguyên lý hộp hay nguyên lý ngăn kéo Dirichlet có nội dung là nếu như một số lượng n vật thể được đặt vào m chuồng bồ câu, với điều kiện n > m, thì ít nhất một chuồng bồ câu sẽ có nhiều hơn 1 vật thể.[1] Định lý này được minh họa trong thực tế bằng một số câu nói như "trong 3 găng tay, có ít nhất hai găng tay phải hoặc hai găng tay trái." Đó là một ví dụ của một đối số đếm, và mặc dù trông có vẻ trực giác nhưng nó có thể được dùng để chứng minh về khả năng xảy ra những sự kiện "không thể ngờ tới", tỉ như 2 người có cùng một số lượng sợi tóc trên đầu, trong 1 đám đông lớn có một số người mặc kiểu quần áo giống nhau, hoặc bất thình lình trong hộp thư nhận được một số lượng cực lớn thư rác[1].Người đầu tiên đề xuất ra nguyên lý này được cho là nhà toán học Đức Johann Dirichlet khi ông đề cập tới nó với tên gọi "nguyên lý ngăn kéo" (Schubfachprinzip). Vì vậy, một tên gọi thông dụng khác của nguyên lý chuồng bồ câu chính là "nguyên lý ngăn kéo Dirichlet" hay đôi khi gọi gọn là "nguyên lý Dirichlet" (tên gọi gọn này có thể gây ra nhầm lẫn với nguyên lý Dirichlet về hàm điều hòa). Trong một số ngôn ngữ như tiếng Pháp, tiếng Ý và tiếng Đức, nguyên lý này cũng vẫn được gọi bằng tên "ngăn kéo" chứ không phải "chuồng bồ câu".Nguyên lý ngăn kéo Dirichlet được ứng dụng trực tiếp nhất cho các tập hợp hữu hạn (hộp, ngăn kéo, chuồng bồ câu), nhưng nó cũng có thể được áp dụng đối với các tập hợp vô hạn không thể được đặt vào song ánh. Cụ thể trong trường hợp này nguyên lý ngăn kéo có nội dung là: "không tồn tại một đơn ánh trên những tập hợp hữu hạn mà codomain của nó nhỏ hơn tập xác định của nó". Một số định lý của toán học như bổ đề Siegel được xây dựng trên nguyên lý này.