Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Replies: 39   Last Post: Oct 14, 2012 11:56 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
george

Posts: 800
Registered: 8/5/08
Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Posted: Oct 14, 2012 3:53 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Oct 13, 3:36 pm, Graham Cooper
> you can't follow the context of this quote?

----8<----------------------------
> On Oct 12, 3:02 am, Graham Cooper <grahamcoop...@gmail.com> wrote:
> > >http://en.wikipedia.org/wiki/First-order_logic

> deductive system is a list of formulas, each of which is a logical axiom

> (taken from full paragraph in previous post which you didn't read)

Idiot, YOU didn't read it. YOU cannot follow the context!
IF you had read it, you would've KNOWN that you had deleted SO MUCH
context that you don't even have THE WHOLE SENTENCE, let ALONE
a full paragraph! YOU DELETED so much "context" to produce this
HORSESHIT that you have gotten THE SUBJECT of the verb-phrase
"is a list of formulas" WRONG! The article DID NOT SAY that a
"deductive system" is a list of formulas! It said *A*DEDUCTION* is a
list of formulas!
Said deduction is occurring INSIDE/UNDER/WITHIN-the-framework-of a
deductive system, but the deductive system IS NOT the list of
formulas!
YOU SAID IT WAS!
AND THEN you claimed that it was "a quote from wiki" that it was!
IT WASN'T!
STOP QUOTING SHIT THAT YOU HAVEN'T EVEN BOTHERED TO READ!
Stop taking stuff so far out of context that you can't even match THE
SUBJECT TO THE VERB of THE SAME SENTENCE!
AT LEAST QUOTE *A*COMPLETE*SENTENCE*!!!

Clue: when it SAYS "a deduction", it MEANS, "A *PROOF*". A proof
is something that EVERY theorem HAS to have, EVEN if it's as trivial a
proof as "it's an axiom".




Date Subject Author
10/5/12
Read If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Frederick Williams
10/7/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Charlie-Boo
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Frederick Williams
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/7/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/8/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/9/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/11/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
camgirls@hush.com
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Richard Tobin
10/12/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
camgirls@hush.com
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
george
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/14/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
george
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
george
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
george
10/13/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/14/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/14/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/14/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Scott Berg
10/5/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Curt Welch
10/6/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Mike Terry
10/6/12
Read Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Graham Cooper

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.