That doesn't actually answer my original question--I'll try writing out the full proof.

Premises:

P or not-P is true in PA

Also, because of that, if p -> q and not(p)-> q then q--use rules of distribution over and/or

So: 1. provable(P) or not(provable(P)) by premise 1

2: If provable(P), provable(P) by: switch if p then p to not p or p, premise 1

3: if not(provable(P)) Then provable( if provable(P) then P): since if p then q=not p or q and not(not(p))=p

4: therefore, if not(provable(P)) then provable(P): 3 and Lob's theorem

5: Therefore Provable(P): By premise 2, line 2, and line 4.

Where's the flaw? Is it between lines 3 and 4?

*0 points [-]