Dovetailing and diagonalization of a countable number of countable sets use the same diagram for a reason. It may be helpful to explain why they are orthogonal. Diagonalization is about cutting across induction. As inductive steps are skipped at an exponential rate, local properties are ignored. Diagonalization can only be used to show a difference of a global property.