Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from pythagoras.ma.utexas.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 22 May 1995 21:33:50 +0100
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@math.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

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