Search All of the Math Forum:

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

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

 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

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)

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 Graham Cooper
10/5/12 Frederick Williams
10/7/12 Charlie-Boo
10/5/12 Graham Cooper
10/5/12 Frederick Williams
10/5/12 Graham Cooper
10/7/12 Graham Cooper
10/8/12 Graham Cooper
10/9/12 Graham Cooper
10/11/12 Graham Cooper
10/12/12 Graham Cooper
10/12/12 Graham Cooper
10/12/12 camgirls@hush.com
10/12/12 Richard Tobin
10/12/12 camgirls@hush.com
10/13/12 george
10/13/12 Graham Cooper
10/14/12 george
10/13/12 Graham Cooper
10/13/12 george
10/13/12 george
10/13/12 Graham Cooper
10/14/12 Graham Cooper
10/14/12 Graham Cooper
10/14/12 Graham Cooper
10/5/12 Scott Berg
10/5/12 Curt Welch
10/6/12 Mike Terry
10/6/12 Graham Cooper