鳩の巣原理って
簡単に言うと、n種用意されたモノを nより多く選び取ったら必ず重複出てくるよね
そんなの当然だろうよってな話ですが、
これって集合論かなにかで証明できる概念なんでしょうか？ それとも公理に近い？
そもそも〜原理(principle)って数学的にはどういう概念を指す用語なんでしょうか。