Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Do you have a reference for the second part of your answer: "any r.e. theory $T$ is interpretable in $Q + \{\text{Con}_{T \upharpoonright n} : n \in \mathbb{N}\}$"?
