FOM: Re: As to a "naivete" of G.Cantor's set theory

[Karlis Podnieks]

-----Original Message-----
From: Alexander Zenkin <alexzen at com2com.ru>
Date: 1999 25 Jan 19:22
Subject: FOM: As to a "naivete" of G.Cantor's set theory

KP> In my online hyper-textbook for students (now almost
finished, see http://www.ltn.lv/~podnieks/) I tried to
"formalize" Cantor's original set theory as the following
(inconsistent) set of (first order) axioms: Extensionality,
unrestricted Comprehension schema, Choice. Do you think, this
set reflects Cantor's notions of 1873-78 correctly?

Karlis Podnieks
University of Latvia, Institute of Mathematics and Computer
Science