まあ「お化けがいる」というのが
選択公理とZornの補題ですから