Re: Mathematical Logic, Podnieks'page ...

From: Hal Ruhl <HalRuhl.domain.name.hidden>
Date: Fri, 02 Jul 2004 12:44:54 -0400

Hi Bruno:

By the way if some systems are complete and inconsistent will arithmetic be
one of them?

As I understand it there are no perfect fundamental theories. So if
arithmetic ever becomes complete
then it will be inconsistent. In the foundation system which I believe
contains mathematics from the beginning arithmetic is complete so its
inconsistent.

Hal
Received on Fri Jul 02 2004 - 12:49:07 PDT