Re: Implementable Set Theory and Consistency of ZFC

Jesse F. Hughes wrote:

Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> writes:

Jesse F. Hughes wrote:

Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> writes:

MoeBlee wrote:

Therefore it's
wise to snip the "Axiom of Infinity" section from the article, as I've
actually done now: it doesn't contribute anything that we didn't know
already. The funny thing is that none of you - who support set theory
soo much - has accomplished what I've accomplished here, quite on the
positive side. Moeblee, why don't you start to be thrilled about it ?

I don't see what you've accomplished that is of any note. We already
know that set theory without the axiom of infinity has a model.

No. You did't know that set theory without the axiom of infinity "has a
model", i.e. is implementable and is consistent.

What a silly claim.
Take any model of ZFC. It is a model of ZFC - Infinity. Hence ZFC
- Infinity is consistent.

Don't understand a word of what you say. Take, take ..

Weird. It's a fairly simple explanation. Something wrong on your
end, evidently.

No. You "take" everything, but you didn't show us anything. How can we
know that you "take" something then? (Oh well, I'm pretty sure that you
will come up again with something very, very trivial .. Surprise me)

Han de Bruijn

.

Relevant Pages

  • Re: Implementable Set Theory and Consistency of ZFC
    ... wise to snip the "Axiom of Infinity" section from the article, ... i.e. is implementable and is consistent. ... to "is consistent and is implementable", then implementability ...
    (sci.math)
  • Re: Iteration square root of arcsinh
    ... It's clear that the axiom of Infinity ... is the only ZFC axiom which is not implementable. ... I'm not trying to call HdB a so-called "crank," nor ...
    (sci.math)
  • Re: Ultimate debunking of Cantors Theory
    ... If any set theory with a given axiom is consistent, ... *negation* of the axiom of infinity, ...
    (sci.math)
  • Re: Some basic set theory questions
    ... with me that getting the existence of the empty set from ... using infinity. ... This debate concerns whether the Axiom of Infinity is ... required to prove that the empty set exists. ...
    (sci.math)
  • Re: Ultimate debunking of Cantors Theory
    ... If any set theory with a given axiom is consistent, ... *negation* of the axiom of infinity, ... ~Inf), so this is different from Con's implication of Con. ...
    (sci.math)