|
| From: | Ning Wang |
| Subject: | [Axiom-mail] Does Axiom support infinite sets |
| Date: | Thu, 17 Feb 2005 12:29:06 -0800 |
| User-agent: | Mozilla Thunderbird 0.5 (X11/20040208) |
Hello,Can I define an infinite set by the axiom of comprehension or the axiom of replacement?
Thanks Ning
| [Prev in Thread] | Current Thread | [Next in Thread] |