Re: Implementable Set Theory and Consistency of ZFC

Marshall wrote:

2) ZFC, without Infinity.
3) ZFC, with the negation of Infinity.

Is it clear why 2) and 3) are different?

Not to me. I don't know what Foo is and I don't know what ~Foo is.

Han de Bruijn

.

Follow-Ups:
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Virgil
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Jesse F. Hughes
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Aatu Koskensilta

References:
- 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
- Re: Implementable Set Theory and Consistency of ZFC
  - From: Marshall

Relevant Pages

Re: The modern mathematical concept of infinity is indefensible
... Han de Bruijn wrote: ... infinity accurately: ... Only where did the immense Intelligence come from? ...
(sci.math)
Re: Another Inconvenient Truth
... Han de Bruijn wrote: ... I don't even know what infinity ... what does an abstract mathematical problem have ...
(sci.math)
Re: -- Wrong limits do not commute
... Han de Bruijn writes: ... infinity, that might give you some value g. ... differently, e.g. along a ray with a fixed slope, you know, that the ...
(sci.math)
Re: The modern mathematical concept of infinity is indefensible
... Han de Bruijn wrote: ... Han de Bruijn wrote: ... What was the temperature of the Universe just before the Big Bang? ... actual infinity, as HdB does, then the existence of singularities MUST ...
(sci.math)
Re: Another Inconvenient Truth
... Try to design a measuring device for infinity and ... Han de Bruijn ... theory which does invoke actual infinity and a theory which does ...
(sci.math)