Productivity of arithmetic truth
= Productivity of arithmetic truth
Uniformly diagonalize against the formula expressing membership in $W_e$ to obtain a sentence saying that its own code is not in $W_e$. If every enumerated sentence is true, this new sentence cannot be enumerated, and hence is true. Its code is a computable new element of <arithmetic truth> outside $W_e$.