今日の目標 有限集合を定義し、鳩の巣原理とその双対・逆・双対の逆を示す。 鳩の巣原理とは 鳩の数が巣の数より多いときに 全ての鳩を巣に入れたら 2羽以上鳩が入ってる巣が絶対ある ってのだっけ 定式化するなら 鳩の集合を … 続きを読む 鳩ノ巣原理を証明する｜有限集合の定義