Re: Ultimate debunking of Cantor's Theory

On 14 Jul., 06:53, Calvin <cri...@xxxxxxxxxxxxxx> wrote:

How dare I claim and prove that an infinite set
exists, without invoking the holy 'axiom of infinity."

You can prove that the set of natural numbers is potentially infinite,
as you did. But that is not a completed or actual set in the sense of
set theory. You cannot prove the existence of an actually infinite set
(without the axiom) ---simply because it is nonsense and does not
exist in mathematics or elesewhere. (Everything of true mathematics
can be proved without any axiom.)

Regards, WM

.

Relevant Pages

  • Re: infinitely many nns = infinite nns?
    ... No single axiom ever "proves" ... than a POTENTIALLY infinite set. ... finite or infinite. ... X is PD-infinite if Pis D-infinite. ...
    (sci.logic)
  • Re: A puzzle for Cantorists
    ... Any universe of sets used as a model of ZF ... For example, I "believe" in the Axiom of Choice, ... comprehensive line of argument about why and how infinite sets are ... the hierarchy" is not mathematics. ...
    (sci.math)
  • Re: "Choosing" the choice relation
    ... deterministic infinite choice is not a problem. ... If determinism is what you crave, ... since you deny the existence of elements you can't specify, ... consider Godel's axiom of infinity (this is different from the ZFC axiom ...
    (sci.math)
  • Re: Well Ordering the Reals
    ... There exists a set x such that 0 is a member of x and for any y, ... > That follows from your definition in the axiom of infinity. ... So omega is the least infinite ordinal. ... symbols back to primitives. ...
    (sci.math)
  • Re: Why does Cantor a target for cranks?
    ... objects without having some sort of axiom to that effect. ... Has to have an axiomatic system infinite many axioms to be definite? ... My point is that, at least in in pure mathematics, one cannot conclude ... The axiomatic method does not in any way dispute what you have just ...
    (sci.math)
Quantcast