# Re: Mathematical Logic, Podnieks'page ...

`Hi Bruno:`

At 01:15 PM 7/2/2004, you wrote:
`Hi Hal,`

`At 12:44 02/07/04 -0400, Hal Ruhl wrote:`

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.

Yes, if by "arithmetic" you mean an axiomatic system, or a formal theory, or a machine.
No if by arithmetic you mean a set so big that you cannot define it

"define" appears to be a two sided activity. When you define a thing you also define the thing which it is not - a bag of the remainder of "all". Most of the time the latter may not be useful. Since all of arithmetic [and mathematics] is in the Everything and the Everything in my system is the definitional pair to the Nothing, defining the Nothing [or the Everything] automatically defines all of arithmetic along with all of mathematics.

A "Something" is less than the Everything and may or may not contain mathematics or a portion thereof.

in any formal theory,

Well my "theory" seems concerned with the form of its statements that is the "Somethings" and how they alter.

I think my "theory" defines mathematics the way that "The first number that can not be described in less than fourteen words" defines a number that we nevertheless may never actually have in hand.

`Hal`

```

```