Return-Path: <@SEGATE.SUNET.SE:LOJBAN@CUVMB.BITNET>
Received: from SEGATE.SUNET.SE by xiron.pc.helsinki.fi  with smtp
	(Linux Smail3.1.28.1 #1) id m0sRuCz-0000YjC; Sat, 1 Jul 95 07:31 EET DST
Message-Id: <m0sRuCz-0000YjC@xiron.pc.helsinki.fi>
Received: from segate.sunet.se by SEGATE.SUNET.SE (LSMTP for OpenVMS v0.1a) with SMTP id 7579F971 ; Sat, 1 Jul 1995 6:29:18 +0200
Date:         Fri, 30 Jun 1995 22:25:29 -0600
Reply-To:     Chris Bogart <cbogart@QUETZAL.COM>
Sender:       Lojban list <LOJBAN@CUVMB.BITNET>
From:         Chris Bogart <cbogart@QUETZAL.COM>
Subject:      "Russell's paradox" ki'a?
To:         lojban@cuvmb.bitnet
Content-Length: 672
Lines: 13

>It was believed prior to about 1900 that there were no problems with
>the intuitive idea that there is a set defined by every predicate
>asserting a property, such as gerku(x). This assumption led to
>Russell's paradox and the need for new foundations of set theory on an
>axiomatic basis. Sooner or later I would guess that we will have to
>deal with problems arising from this same assumption, which is built
>into the lojban number grammar.

What is Russell's paradox?  Is it easily explained or can you give a reference?

                     ____
 Chris Bogart        \  /  ftp://ftp.csn.net/cbogart/html/homepage.html
 Quetzal Consulting   \/   cbogart@quetzal.com