From owner-qed Sun Nov  6 13:47:41 1994
Received: from localhost (listserv@localhost) by antares.mcs.anl.gov (8.6.4/8.6.4) id NAA09232 for qed-out; Sun, 6 Nov 1994 13:46:28 -0600
Received: from SAIL.Stanford.EDU (SAIL.Stanford.EDU [36.28.0.130]) by antares.mcs.anl.gov (8.6.4/8.6.4) with SMTP id NAA09227 for <qed@mcs.anl.gov>; Sun, 6 Nov 1994 13:46:23 -0600
Received:  by SAIL.Stanford.EDU (5.65/25-SAIL-eef) id AA19995; Sun, 6 Nov 1994 11:46:16 -0800
Date: Sun, 6 Nov 1994 11:46:16 -0800
From: John McCarthy <jmc@sail.Stanford.EDU>
Message-Id: <9411061946.AA19995@SAIL.Stanford.EDU>
To: debruijn@win.tue.nl
Cc: qed@mcs.anl.gov
In-Reply-To: <QEBA393E@pc8012> (debruijn@win.tue.nl)
Subject: Re: Intuition about Freiling's axiom
Reply-To: jmc@cs.stanford.edu
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

For the arguments in favor of Freiling's axiom, I have to refer you
to his paper 

"Axioms of Symmetry: Throwing Darts at the Real Number Line" by Chris
Freiling. Journal of Symbolic Logic, March 1986.

I only remark that his idea was that we have intuitions about the real
numbers specifically, as well as about sets in general.