Re: Implementable Set Theory and Consistency of ZFC

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

Jesse F. Hughes wrote:

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

Jesse F. Hughes wrote:

I did not ask about your needs. I asked whether the formula ~Infinity
is also a theorem of (1)-(4), where ~Infinity is the negation of the
axiom of Infinity.

(~Infinity) is _not_ a theorem of (1)-(4), in this article:

http://hdebruijn.soo.dto.tudelft.nl/jaar2007/set_theory.pdf
Why not?
You show that foundation is true in your model. You conclude (1)-(4)
entail foundation.
~Infinity is also true in your model. Why do you not conclude that
(1)-(4) entail ~Infinity?

It is remarkably difficult to get an answer from you sometimes.

Really?
Really.

I simply cannot "prove" anything (constructively) about something I can
not understand (constructively).

As I just indicated, if your argument for (5) is a proof of (5) from
(1)-(4), then my argument for ~Infinity is a proof of ~Infinity from
(1)-(4). They are essentially the same argument.

Your response seems utterly beside the point. You *do* agree that
every set in your model is finite, yes? Then why isn't this a proof
of ~Infinity?

--
Jesse F. Hughes
"The Cantorians are conducting a campaign of psychological warfare
against humanity."
-- David Petry, on why set theory is evil.
.

Relevant Pages

  • Re: Cantor Confusion
    ... contradiction there is in there not being such a mapping. ... That my proof is not indeed a proof in Z set theory. ... It is *assumed* by stating the axiom of infinity. ...
    (sci.math)
  • Re: Implementable Set Theory and Consistency of ZFC
    ... This is still not correct as the Axiom of Infinity is an axiom of ZFC ... Set Theory, even less when the latter is supposed to allow the Naturals ... consistent within common mathematics. ...
    (sci.math)
  • Re: Cantor Confusion
    ... It should be comprehensible that potential infinity is possible without ... But that is not what set theory requires. ... infinity present or detectable without the axiom of infinity. ... you won't be able to show that merely dropping the ...
    (sci.math)
  • Re: Ultimate debunking of Cantors Theory
    ... Perhaps, for example, you think that specifying ... What axiom or theorem were you using to deduce ... exists without the axiom of infinity. ... thing about ZF set theory or how axioms are used to prove theorems. ...
    (sci.math)
  • Re: Well Ordering the Reals
    ... most of the standard axioms would get scrapped ... one kind of set and infinity, and discrete counting systems form another, as in ... you claim that set theory is ...
    (sci.math)
Loading