Date: Sep 18, 2013 8:28 PM
Author: fom
Subject: Re: The ambiguity of 0^0 on N

On 9/18/2013 6:11 PM, Rotwang wrote:
>
> Definitions cannot give rise to contradictions.
>


You must mean this is some particular way.

The terms in axioms are considered to be
"definitions-in-use". They can certainly
lead to inconsistency.

Perhaps you are stating this in the sense
that definitions are pure abbreviation.
Hence, the definitions, themselves, cannot
be the source of inconsistency.

And, wouldn't the class abstract that leads
to Russell's paradox have been considered
a definition at one point in time?

{ x | ~( x in x) }

How is it no longer a definition?