*Edit: all sets / theories considered below are supposed to be recursively enumerable, although I'd also be interested in any possible generalizations to non-enumerable theories.*

In the comments on this question, Emil Jeřábek described a theory $T$ whose axioms come from recursively inseparable sets $X, Y$: the language has countably many variables and a single predicate $P$, with $P(n)$ if $n \in X$ and $\neg P(n)$ if $n \in Y$. This theory is essentially incomplete, but in some sense lacks the language to talk about its own consistency; in other words, it satisfies the first incompleteness theorem, but not the second.

I observed that one naturally obtains such a theory $T$ by letting $X$ resp. $Y$ be the sets of (Gödel numbers of) provable resp. disprovable statements of another essentially undecidable theory $T'$; in other words, the axioms of $T$ are precisely the theorems of $T'$, but with the semantics of $T'$ "forgotten". In particular, $T$ could be one of the familiar theories of arithmetic, subject to both incompleteness theorems.

It's then natural to wonder about a converse: can we characterize those pairs of recursively inseparable sets $X, Y$ such that $X$ resp. $Y$ are the sets of (Gödel numbers, under some numbering scheme, of) provable resp. disprovable statements of theories $T_X$ resp. $T_Y$, with one of the latter theories being an extension of the other, and both theories subject to the second incompleteness theorem? If not, is there some weaker formulation which works? (e.g. does allowing to iterate this construction make any difference?)

What about going even further: given such a pair $X, Y$, when is it possible to actually construct theories $T_X, T_Y$ which do the job?