  It is well-known that the Continuum Hypothesis (CH) is independent of the
other axioms of Zermelo-Fraenkel set theory with choice (ZFC). This raises the
question of whether an intuitive justification exists for CH as an additional
axiom, or conversely whether it is more intuitive to deny CH. Freiling's Axiom
of Symmetry (AS) is one candidate for an intuitively justifiable axiom that,
when appended to ZFC, is equivalent to the denial of CH. The intuition relies
on a probabalistic argument, usually cast in terms of throwing random darts at
the real line, and has been defended by researchers as well as popular writers.
In this note, the intuitive argument is reviewed. Following William Abram, it
is suggested that while accepting CH leads directly to a counterexample to AS,
this is not necessarily fatal to our intuition. Instead, we suggest, it serves
to alert us to the error in a naive intuition that leaps too readily from the
near-certainty of individual events to near-certainty of a joint event.

History and Overview