Let A be a well-formed statement of L and let L+ be the extension of L obtained by including A as a new axiom. Prove that the set of theorems of L+ is different from the set of theorems of L if and only if A is not a theorem of L.
This is pretty clear, so it may be hard to find precisely correct words to justify it.
The right-to-left direction is obvious.Prove that the set of theorems of L+ is different from the set of theorems of L if and only if A is not a theorem of L.
"Tautology" is the wrong word because it has to do with semantics, while here were are talking about derivability (i.e., syntax) only. If you replace "tautology" with "theorem", than this is what you need to show; I don't see how you simplified things.since adding A to L increases Thm(L) that A is not a tautology and thus is not an element of L
The left-to-right direction can be shown by contradiction using this property: If and , then (here denotes derivability in L). How this property is proved depends on the specifics of L.
If, in addition, the definitions of theorem and proof in system L are given in the usual way, then an axiom is a theorem with a one-line proof.
In such a system, I think both directions of the claim should go through pretty easily.
For example, in the => direction, argue the contrapositive.
That is, assume A is in Thm(L), and show then that the collection of theorems of the "extended" system L+, i.e., Thm(L+), must be identical with Thm(L).
One does not have to assume decidability of L to prove the claim in the OP; this assumption is never used in the proof sketch above.Presumably, system L is decidable; otherwise, I think we won't have an effective method for determining exactly what's in Thm(L) and Thm(L+).