Re: Mathematical Logic, Podnieks'page ...

From: Hal Ruhl <>
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

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

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:09 PST