Re: Cardinality vs Subsets

On Feb 22, 1:45 pm, Transfer Principle <lwal...@xxxxxxxxx> wrote:
On Feb 22, 4:05 am, Math1723 <anonym1...@xxxxxxx> wrote:

On Feb 22, 1:52 am, Transfer Principle <lwal...@xxxxxxxxx> wrote:
I fully accept that Cantor's theorem is a theorem of ZFC. But not
everyone wants to be, or should be, bound by what ZFC proves. So
those who don't can choose a set theory, such as NFU, in which
Cantor isn't a theorem (assuming consistency), or search for a
new theory in which the negation of Cantor is provable.
Speaking of which, have you determined which of the nine specific ZFC
axioms [snip link] that you have a problem with?

For the vast majority of posters who criticize ZFC, the axiom
that they have a problem with is the Axiom of Infinity. It's
Infinity that leads directly to the results that such posters
are trying to avoid.

(Perhaps occasionally, a poster who accepts infinite sets but
not uncountable sets might be satisfied by dropping Powerset
rather than Infinity, but this is rare.)

Edward Belaga would allow countable, but not uncountable, ordinals:*MathInfinity.pdf

"Are we really living in the world where the Power-Set Axiom is a
universal mathematical truth?" II. Proc. of the 17th Congress of the
Canadian Society of History and Philosophy of Mathematics, eds. H.
Grant et al., Kingston, May (1991)

Relevant Pages

  • Re: Torkel Franzen on truth
    ... How do you know that ZFC + an axiom of infinity are consistent? ... There are convincing arguments for the ...
  • 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 ...
  • Re: Implementable Set Theory and Consistency of ZFC
    ... ZFC without the axiom of infinity then Choice is _not_ provable ... _is_ provable in ZFC plus the negation of the axiom of infinity. ...
  • Re: ALL(F):N->R is 2OL! NOT 1OL!!!!!!
    ... you ARE at second order. ... Every axiom of ZFC is ... axiom of infinity, insisting ...
  • Re: Cantors "diagonal argument". My Objection.
    ... Infinity is NOT relevant to the proof ... you DENY the axiom of infinity (if you replace it with an axiom ... It DOESN'T MATTER whether you restrict these reals to being between 0 ... This IS NOT specific to Cantor IN ANY way except that he got there ...