Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10)
	id PAA12103 for qed-out; Mon, 22 May 1995 15:35:35 -0500
Received: from pythagoras.ma.utexas.edu (pythagoras.ma.utexas.edu [128.83.133.41]) by antares.mcs.anl.gov (8.6.10/8.6.10)  with ESMTP
	id PAA12098 for <qed@mcs.anl.gov>; Mon, 22 May 1995 15:35:29 -0500
Received: (from bshults@localhost) by pythagoras.ma.utexas.edu (8.6.10/8.6.10) id PAA14060; Mon, 22 May 1995 15:32:07 -0500
Date: Mon, 22 May 1995 15:32:07 -0500
From: Benjamin Price Shults <bshults@fireant.ma.utexas.edu>
Message-Id: <199505222032.PAA14060@pythagoras.ma.utexas.edu>
To: John.Harrison@cl.cam.ac.uk
CC: qed@mcs.anl.gov
In-reply-to: <"swan.cl.cam.:266770:950519095422"@cl.cam.ac.uk> (message from John Harrison on Fri, 19 May 1995 10:54:02 +0100)
Subject: Re: Undefined terms
Sender: owner-qed@mcs.anl.gov
Precedence: bulk
X-UIDL: 801410893.062

I see now that Harrison's [2] means the same thing that I intended my
[5] to mean.  I'm sorry I complicated things unnecessarily.

Bernays called Harrison's "something": "the empty set" and
Morse-Kelley called it: "the universe".

Benji