Re: A consideration concerning the diagonal argument of G. Cantor

From: WM <mueckenh@xxxxxxxxxxxxxxxxx>
Date: Fri, 4 Apr 2008 02:47:22 -0700 (PDT)

On 3 Apr., 21:43, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:

On Apr 2, 11:23 pm, WM <mueck...@xxxxxxxxxxxxxxxxx> wrote:

Fortunately most of mathematics is
independent of ZFC.

No it's not. ZFC axiomatizes ordinary mathematics in such fields as
analysis, algebra, and topology.

Yes, but up to now ZFC has not done much harm or damage to these
fields. They a robust enough.

Regards, WM

.

Follow-Ups:
- Re: A consideration concerning the diagonal argument of G. Cantor
  - From: MoeBlee

References:
- Re: A consideration concerning the diagonal argument of G. Cantor
  - From: george
- Re: A consideration concerning the diagonal argument of G. Cantor
  - From: WM
- Re: A consideration concerning the diagonal argument of G. Cantor
  - From: MoeBlee

Prev by Date: Re: Incompleteness vs. Mechanical Reasoning
Next by Date: Re: Incompleteness vs. Mechanical Reasoning
Previous by thread: Re: A consideration concerning the diagonal argument of G. Cantor
Next by thread: Re: A consideration concerning the diagonal argument of G. Cantor
Index(es):
- Date
- Thread

Relevant Pages

Re: How do We Know that ZF is the Axiomatization that Proves everything Provable?
... don't know how to prove in ZFC. ... using the ZFC axioms, and without them you are just using the symbols ... I gave a topology example. ... FIRST theorem in a topology book or analsysis book that you don't know ...
(sci.logic)
Re: How do We Know that ZF is the Axiomatization that Proves everything Provable?
... that's a theorem of topology provable in ZFC. ... texbooks in topology, analysis, abstract algebra, graph theory... ...
(sci.logic)
Re: How do We Know that ZF is the Axiomatization that Proves everything Provable?
... Mathematics. ... proof within ZFC that is outside of Arithmetic and Set Theory? ... Such subjects as topology, analysis, abstract algebra, and graph ...
(sci.logic)
Re: How do We Know that ZF is the Axiomatization that Proves everything Provable?
... Don't ordinarily books in ordinary mathematics mention ZFC? ... algebra, graph theory that mention ZFC specifically, but one doesn't ... and see such theorems as Bolzano-Weierstrass. ... axioms have nothing to do with it. ...
(sci.logic)