Article View: sci.logic
Article #148Re: Set of all sets + correcting MZ's syntax
From: DUENTSCH
Date: Tue, 08 Sep 1992 06:54
Date: Tue, 08 Sep 1992 06:54
19 lines
1247 bytes
1247 bytes
In article <4134@seti.UUCP> ziane@nuri.inria.fr (ziane mikal -) writes: >The question is now, whether or not alternative axiomatizations >have been proposed that are consistent with the existence of the >set of all sets ? In the 1920's Paul Finsler proposed a system of set theory in which a set of all sets is allowed. His system is not formal (in Hilbert's sense); the discussion of his system within the mathematical community was rather emotional and not free from personal animosities. In his system, Finsler showed incompleteness before Goedel. As far as I know, a serious and in depth study of his Finsler's set theory has yet to be done. Ivo Duentsch Rechenzentrum Universitaet Osnabrueck duentsch@dosuni1.rz.uni-osnabrueck.de
Technical Details
Message-ID:
<1685C6F56.DUENTSCH@dosuni1.rz.uni-osnabrueck.de>Path:
arc1-ca.pugleaf.net!sparky!uunet!haven.umd.edu!darwin.sura.net!Sirius.dfn.de!solaris.rz.tu-clausthal.de!unios!dosuni1.rz.uni-osnabrueck.de!DUENTSCHReferences:
<4134@seti.UUCP>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!haven.umd.edu!darwin.sura.net!Sirius.dfn.de!solaris.rz.tu-clausthal.de!unios!dosuni1.rz.uni-osnabrueck.de!DUENTSCH From: DUENTSCH@dosuni1.rz.uni-osnabrueck.de Subject: Re: Set of all sets + correcting MZ's syntax Message-ID: <1685C6F56.DUENTSCH@dosuni1.rz.uni-osnabrueck.de> Sender: news@unios.rz.Uni-Osnabrueck.DE Organization: University of Osnabrueck, FRG References: <4134@seti.UUCP> Date: Tue, 8 Sep 1992 06:54:58 GMT Lines: 19