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