Re: abundance of irrationals!)


Randy Poe wrote:

> > But how do you find Card(N) = aleph_0 > n e N from the
Peano-axioms?
>
> I could be wrong, but I think aleph_0 is defined
> to be card(N).
>
> What you can easily prove from the Peano axioms is
> that card(N) is larger than any finite value.

But there is no proof that this Card(N) is a meaningful notion at all.

Regards, WM

.

Relevant Pages

  • Re: abundance of irrationals!)
    ... Randy Poe wrote: ... > aeo6 Tony Orlow wrote: ... Regards, WM ... Prev by Date: ...
    (sci.math)
  • Re: CANTORs theorem
    ... Randy Poe wrote: ... >> Dik T. Winter wrote: ... Regards, WM ... Prev by Date: ...
    (sci.math)
  • Re: Relative Cardinality
    ... Randy Poe wrote: ... >> As this would lead to strange results like Card= ... Regards, WM ... Prev by Date: ...
    (sci.math)
  • Re: Relative Cardinality
    ... > Randy Poe wrote: ... Counting up in cents to the U.S. national debt is impossible, ... declares that it does not exist? ... Prev by Date: ...
    (sci.math)
  • Re: Why wont these 3 lines of code work?
    ... Randy Poe wrote: ... > sample clevel. ... Matt ... Prev by Date: ...
    (comp.soft-sys.matlab)
Loading