RE: [Axiom-mail] Does Axiom support infinite sets

[Page, Bill]

On Thursday, February 17, 2005 3:29 PM Ning Wang wrote:
> 
> Can I define an infinite set by the axiom of comprehension
> or the axiom of replacement?
> 

The short (but incomplete) answer is "no". At least not in an
entirely abstract manner. But Axiom does provide tools
specifically for dealing with "infinite", i.e. indefinitely
large, lists called streams.

Perhaps you will find the following web page useful. It
summarizes some of the properties of streams.

http://page.axiom-developer.org/zope/mathaction/Streams

If you have other questions please let us know.

Regards,
Bill Page.