Re: Implementable Set Theory and Consistency of ZFC

From: David C. Ullrich <ullrich@xxxxxxxxxxxxxxxx>
Date: Thu, 08 Nov 2007 07:08:14 -0600

On Wed, 07 Nov 2007 11:02:32 +0100, Han de Bruijn
<Han.deBruijn@xxxxxxxxxxxxxx> wrote:

David C. Ullrich wrote:

axioms 1-4 do not say that certain sets exist, they say that
there exist sets with certain properties.

I can't get enough of this.

ZFC is not about sets, it's about certain properties of sets.

I didn't say that.

What properties? Well, set-like properties! Duuhh ..

Han de Bruijn

************************

David C. Ullrich
.

References:
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: MoeBlee
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: MoeBlee
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn
- Re: Implementable Set Theory and Consistency of ZFC
  - From: David C . Ullrich
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Han de Bruijn

Prev by Date: Re: In NEED of DESPERATE HELP
Next by Date: Re: In NEED of DESPERATE HELP
Previous by thread: Re: Implementable Set Theory and Consistency of ZFC
Next by thread: Re: Implementable Set Theory and Consistency of ZFC
Index(es):
- Date
- Thread

Relevant Pages

Re: ZFC means?
... David C. Ullrich wrote & Charlie-Boo wrote & Daryl McCullough wrote ... I never said that you can represent sets in ZFC. ... Check any standard book on Logic, ...
(sci.logic)
Re: tommy1729 set axioms update
... David C. Ullrich wrote: ... I wish that someone could post an alternative to ZFC ... Every data structure can be represented in one way or another using XML. ...
(sci.math)
Re: What is the 1st order formal system known as PA?
... > certain reasoning agent]. ... > any model of ZFC is one of ZF; and the ZFC theory is effectively also ... >> David C. Ullrich ...
(sci.logic)
Re: Implementable Set Theory and Consistency of ZFC
... David C. Ullrich wrote: ... Han de Bruijn ...
(sci.math)
Surely Youre Joking, Mr. Ullrich !
... Sentences between (parentheses) are often the most interesting in the ... book "Complex Made Simple" by David C. Ullrich. ... Han de Bruijn ...
(sci.math)