sci.logic
[Top] [All Lists]

Re: Question about Set Theory

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>
Privacy Policy