“Despite their remoteness from sense experience, we do have something like a perception also of the objects of set theory, as is seen from the fact that the axioms force themselves upon us as being true.  I don’t see any reason why we should have less confidence in this kind of perception, i.e., mathematical intuition, than in sense perception.”  (Kurt Godel, in “What is Cantor’s Continuum Problem?”)