Re: Set Theory-Axiom of Congruence.

"zuhair" <zaljohar@xxxxxxxxx> writes:

> Jesse F. Hughes wrote:
>> "zuhair" <zaljohar@xxxxxxxxx> writes:
>>
>> >
>> > Proove that it makes the system inconsistent!
>>
>> You've probably been shown the proof that |N| = |N \ {0}| a time or
>> two. Clearly that contradicts your axiom.
>
> Their is not proof of |N | = |N\{0}| , all proofs I've been shown till
> now
>
> doesn't describe the set N/{0} properly , their is a confusion between
>
> the set N/{0} and the set N' = 1,2,3,4,.............. , I have
> repeatedly said
>
> that these two sets are totally different sets , the first has lower
> cardinality
>
> than the other.

It doesn't really matter what you've said. The proof that
|N| = |N \ {0}|
is very simple, trivial to formalize and verify as a correct proof in
the theory ZF using utterly standard rules of inference and logical
axioms.

That you've said it isn't so doesn't change this fact.

--
Jesse F. Hughes

"History will hate you and love me. I'm the misunderstood and
persecuted genius. You're the assholes." -- James Harris
.

Quantcast