من تنها می دانم اگر دو عدد طبیعی n و m را با خاصیت n>m داشته باشیم، اگر n شیء در m لانه کبوتر قرار گیرد، آنگاه حداقل یک لانه کبوتر (یا قفسه) دارای بیش از یک شیء خواهد بود. بیانی دیگر از این اصل به این صورت است که اگر در m لانه حداکثر m شیء آن هم با شرط در هر لانه یک شیء، قرار گرفته است؛ اضافه کردن یک شیء دیگر ما را مجبور میکند که از یکی از لانهها بار دیگر استفاده کنیم (با این شرط که m متناهی باشد).به طور رسمی این قضیه بیان میکند :"در مجموعه های متناهی تابعی یک به یک وجود ندارد که برد آن کوچکتر از دامنه ی آن باشد