Re: Contradiction or paradox

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.

There is also the general question of what ZFC alone can prove and
what he says regarding that question and what his site shows.

You don't know what ZFC is.

MoeBlee

.

Relevant Pages

  • Re: Contradiction or paradox
    ... He uses an expression like xRy=Rz and substitutes + ... few months later and state that no such refutation exists. ... Published papers don't even agree as to what ZFC is. ... place predicate symbols '=' and 'e') and the non-logical axioms: ...
    (sci.logic)
  • Re: Contradiction or paradox
    ... He uses an expression like xRy=Rz and substitutes + ... few months later and state that no such refutation exists. ... Published papers don't even agree as to what ZFC is. ... David C. Ullrich- Hide quoted text - ...
    (sci.logic)
  • Re: Contradiction or paradox
    ... He uses an expression like xRy=Rz and substitutes + ... Published papers don't even agree as to what ZFC is. ... should have said 'classical first order logic plus identity theory' ...
    (sci.logic)
  • Re: Contradiction or paradox
    ... He uses an expression like xRy=Rz and substitutes + ... few months later and state that no such refutation exists. ... Published papers don't even agree as to what ZFC is. ... place predicate symbols '=' and 'e') and the non-logical axioms: ...
    (sci.logic)
  • Re: Contradiction or paradox
    ... He uses an expression like xRy=Rz and substitutes + ... Published papers don't even agree as to what ZFC is. ... identity (with the language whose only non-logical symbols are the 2- ... place predicate symbols '=' and 'e') and the non-logical axioms: ...
    (sci.logic)
Loading