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...