mały|Gołębi jest więcej niż skrzynek, wobec czego w jednej są dwa ptaki Zasada szufladkowa Dirichleta – twierdzenie matematyczne, mówiące: Jeżeli przedmiotów włoży się do różnych szufladek, gdzie to w co najmniej jednej szufladce znajdą się co najmniej dwa przedmioty.
Zasada szufladkowa Dirichleta ma także kilka innych sformułowań (niekoniecznie logicznie równoważnych powyższemu – pierwsze z zamieszczonych poniżej jest, na przykład, bardziej ogólne). Poniżej przedstawione zostało kilka z nich:
Podstawowe uogólnienie: dla liczb naturalnych i , jeśli mamy do dyspozycji przedmiotów i chcemy je wszystkie rozmieścić w łącznie zbiorach, to na pewno jesteśmy w stanie powiedzieć, że w minimalnie jednym spośród tych zbiorów, będzie znajdowało się co najmniej przedmiotów.
Formalna treść twierdzenia: jeżeli zbiór liczy elementów, gdzie to któryś ze zbiorów musi zawierać co najmniej dwa elementy.
Inna wersja formalna brzmi następująco: Jeżeli moc zbioru wynosi a zbioru – i to nie istnieje funkcja różnowartościowa ze zbioru do zbioru .
Wydaje się, że ta oczywista obserwacja nie może mieć poważnych zastosowań, ale jest dokładnie przeciwnie.