Re: abundance of irrationals!)


Virgil wrote:


> >
> > This property means something like: An Em : n < m
> > but not Em An : n < m
>
> The axiom of infinity does not say that, however, one may deduce in a

> system with such an axiom, e.g., vonNeumann-Bernays-Goedel,

one may deduce many things if the day is long enough and if eventualy
the night is added. For instance that there is no infinity at all. THE
AXIOM of infinity says something similar to
An Em : n < m

and THAT AXIOM does not lead to Em An : n < m = aleph_0. Is that
correct?

Regards, WM

.

Quantcast