Re: Contradiction or paradox

On May 19, 12:40 pm, Charlie-Boo <shymath...@xxxxxxxxx> wrote:
On May 18, 5:29 pm, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:

On May 18, 12:43 pm, Charlie-Boo <shymath...@xxxxxxxxx> wrote:

On May 18, 1:13 pm, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:

On May 18, 4:12 am, Charlie-Boo <shymath...@xxxxxxxxx> wrote:

On May 17, 11:19 pm, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:
Your mindless and irresponsible claims about Norm
Megill's system is another example.

If you want to debate that system, it would help to start a new
thread. He uses an expression like xRy(Rz)=(xRy)Rz and substitutes +
for R but there is nothing at that point about + or - so - could
equally well be substituted for R.

Silly boy, there is an hypothesis of that theorem that you have not
shown is satisfied by subtraction. That has been pointed out to you
already by a few other posters.

See, I repeat, you have not shown that subtraction satisfies the
hypotheses.

What hypotheses? You have given no hypotheses.

The hypotheses of the theorem that you claimed to contradictorily
imply associativity of subtraction, as about half a dozen other
posters have already menionted those hypotheses to you. So it still
stands that you have not substantiated your claim that Megill's system
is inconsistent, even after about half a dozen people have pointed out
to you exactly why your remarks about the particular theorem you chose
as an example are not pertinent since you don't take account of the
hypotheses of that theorem, and now you pretend not to recall that
these hypotheses have already been pointed out to you at least about a
half a dozen times. Like I say, you're a real piece of work.

MoeBlee

.

Relevant Pages

  • Re: Contradiction or paradox
    ... If you want to debate that system, it would help to start a new ... He uses an expression like xRy=Rz and substitutes + ... already by a few other posters. ... You don't know what ZFC is. ...
    (sci.logic)
  • Re: Contradiction or paradox
    ... He uses an expression like xRy=Rz and substitutes + ... See, I repeat, you have not shown that subtraction satisfies the ... There are various formulations of formal ZFC, ... dissimlar that a general definition can't be given. ...
    (sci.logic)