| Subject: | Re: Question about Set Theory |
|---|---|
| From: | "MoeBlee" |
| Date: | 5 Aug 2006 13:00:37 -0700 |
| Newsgroups: | sci.logic |
MoeBlee wrote: > Anyway, set theory > serves the purpose of axiomatizing ordinary mathematics. It's an > incomplete theory (if consistent), but still serves as an > axiomatization. P.S. Even though set theory is incomplete, it is a FORMAL theory that is rich enough to at least be capable of "expressing" the mathematical propositions of concern in ordinary mathematics, even though there are propositions that set theory can express but can prove neither the proposition nor its denial. MoeBlee |
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| ||
| Previous by Date: | Re: Question about Set Theory, MoeBlee |
|---|---|
| Next by Date: | Re: Need help proving (Ax)(~P(x)) |- ~(Ex)(P(x)), Mike H |
| Previous by Thread: | Re: Question about Set Theory, MoeBlee |
| Next by Thread: | Re: Question about Set Theory, herbzet |
| Indexes: | [Date] [Thread] [Top] [All Lists] |