1 problem

Let $\mathcal{T}$ be a finitely axiomatized theory. Consider $\textbf{P}$-uniform families of propositional tautologies encoding statements of the form “there is no $\mathcal{T}$ p…