Re: Implementable Set Theory and Consistency of ZFC

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

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

Really?

Han de Bruijn

.

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: 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: An uncountable countable set
    ... Han de Bruijn wrote: ... Axiom of infinity: There exists a set x such that the empty set is a member of x and whenever y is in x, ... IF we define the successor of n as n+1, ...
    (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: Ultimate debunking of Cantors Theory
    ... without the axiom of infinity. ... laid the foundations of the geometry associated with his name. ... mathematics lays it foundations with the axioms of set theory. ...
    (sci.math)
Loading