Re: abundance of irrationals!)



Hi,

No, that is not the case. What you are calling "axioms", the
non-logical axioms, are actually theorems, of tautology, and the
excluded middle.

Here's what I'm worried about: Andy.

http://groups-beta.google.com/group/sci.logic/search?group=sci.logic&q=Andy



Oh wait, I _am_ Andy.

Goedel says so!

With warm regards,

Ross

.


Quantcast