fix problem in inc/inc/second incompleteness

Author: rzach

incompleteness/incompleteness-provability/second-incompleteness-thm.tex

@@ -86,7 +86,7 @@
 \end{thm}
 
 \begin{prob}
-Show that $\Th{Q}$ proves $\OCon[PA] \lif !G_{\Th{PA}}$.
+Show that $\Th{PA}$ proves $!G_{\Th{PA}} \lif \OCon[PA]$.
 \end{prob}
 
 \begin{digress}