知っていることと定まっていることは別
知らなくても定まっていることはある
例えばしっぽの同値類の代表系
誰も知らない・・・選択関数を構成不能だから
しかし定まっている・・・選択公理が選択関数の存在を保証しているから