There is a difference between intuition and superstition. The Choice Axiom, for instance, without which much of mathematics disappears, is (at least in practice) accepted without proof. Even in the presence of Zorn's lemma which is vastly less intuitive than the Choice Axiom, but which has been shown to be equivalent. But acceptance of the Choice Axiom without proof is completely different from binding one's self to superstitous nonsense about ghosts, holy or otherwise.