On Sun, 17 Nov 2002, CBFalconer wrote:
(* Nils Goesche ngo@cartan.de wrote in comp.programming
0 is defined as the empty set -- denoted {} 1 is defined as the set that contains 0 -- {0} = {{}} 2 is defined as the set containing 0 and 1 -- {0, 1} = {{}, {{}}}
and so on. (Mathematicians will note that to have this ``definition�� make sense, you'll first have to introduce the notion of an inductive set and the infinity axiom -- but I think this is enough to explain the idea behind the construction).
It seems your gpc version doesn't like nested comments in cited von Neuman definition... My old (20020510), based on 2.95.2 doesn't complain. Best regards, Adam Naumowicz
====================================================================== Department of Applied Logic fax. +48 (85) 745-7662 Institute of Computer Science tel. +48 (85) 745-7559 (office) University of Bialystok e-mail: adamn@mizar.org Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/ ======================================================================