1 problem

Let ${\sf PA}_n$ denote the set of theorems of Peano Arithmetic of complexity at most $\Pi_n$. A completion of ${\sf PA}_{n+2}$ is a complete consistent extension of this theory, a…