Re: Obections to Cantor's Theory (Wikipedia article)

From: "MoeBlee" <jazzmobe@xxxxxxxxxxx>
Date: 23 Jul 2005 18:09:03 -0700

Han de Bruijn,

My message here is hardly as monumental as that given in Russell's
letter to Frege, but at

http://huizen.dto.tudelft.nl/deBruijn/grondig/science.htm#cm

you stated that it is clear that the theory you propose is consistent
with what you call the "finitistic part of ZFC". Not only is that not
clear; it is incorrect. Your own axiom along with just basic Z set
theory allows the following two formulas as theorems:

Ex x e 0

~ Ex x e 0

where '0' stands for the empty set.

MoeBlee

.

Prev by Date: Re: What isn't a tautology?
Next by Date: Re: What isn't a tautology?
Previous by thread: Re: Obections to Cantor's Theory (Wikipedia article)
Next by thread: Re: Obections to Cantor's Theory (Wikipedia article)
Index(es):
- Date
- Thread

Relevant Pages

Re: An uncountable countable set
... Han de Bruijn wrote: ... by putting curly braces around the empty set. ... It appears as if much of useful mathematics is ultimately based on what ...
(sci.math)
Re: Implementable Set Theory and Consistency of ZFC
... Han de Bruijn writes: ... when I say the empty set exists, what I mean is that there is a set ... a specification axiom, whether you write it formally or not. ...
(sci.math)
Re: Implementable Set Theory and Consistency of ZFC
... Han de Bruijn wrote: ... when I say the empty set exists, what I mean is that there is a set ... Then you want to proclaim a set that has no definition? ...
(sci.math)
Re: Implementable Set Theory and Consistency of ZFC
... Han de Bruijn wrote: ... I thought you said it represents the statement "The empty set exists." ... necessity, say things. ...
(sci.math)
Re: Implementable Specification and Logic
... G. Frege wrote: ... Han de Bruijn: ... Let's call a family of sets (with I = omega) a /dynamic set/. ...
(sci.math)