From jcowan@reutershealth.com Fri Mar 3 09:50:59 2000
X-Digest-Num: 382
Message-ID: <44114.382.2167.959273826@eGroups.com>
Date: Fri, 03 Mar 2000 12:50:59 -0500
From: John Cowan
Subject: Re: Use and abuse of sets
Adam Raizen wrote:
> > "klesi" is the gismu for "set", because classes and sets are the same
> > concept, except for certain exceptions among the transfinite classes.
>
> Not that I know much about set theory, but wouldn't the place
> structure of the bridi for "mathematical set" have to be close to "x1
> is the set with members x2 (complete specification)".
Predicates can't compel their arguments to be a complete specification,
unless the argument is (you guessed it!) a set. That would be awfully
close to circularity for "klesi". Therefore, klesi are defined in terms of the
superset x2 and a membership property x3, the "such that" which in
Lojban is "lo ka".
--
Schlingt dreifach einen Kreis vom dies! || John Cowan
Schliesst euer Aug vor heiliger Schau, || http://www.reutershealth.com
Denn er genoss vom Honig-Tau, || http://www.ccil.org/~cowan
Und trank die Milch vom Paradies. -- Coleridge (tr. Politzer)