Date: Oct 17, 2013 10:25 AM
Author: fom
Subject: Re: Formal proof of the ambiguity of 0^0
On 10/17/2013 9:09 AM, Dan Christensen wrote:

> nearly two centuries --

Better, now if you would simply go learn

the logic and mathematics which makes

your "odd" observation non-contradictory,

you would be in good shape.

It is funny, though...

"That which is not contradictory exists"

means "you win".

I concede.

It is still useless, though.

Find some time to learn about modal

logic so you do not have "roaming"

individuals in your arithmetic.

In fact, wouldn't that also mean

that the standard Peano axioms with

the second-order induction axiom

are not categorical when 0 is the

base element?

Hmm...