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)
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".
|
|
