Cool, I only just realized that applying the diagonal argument to computable numbers leads to the halting problem, and applying the diagonal argument to definab

Cool, I only just realized that applying the diagonal argument to computable numbers leads to the halting problem, and applying the diagonal argument to definable numbers leads to Tarski's undefinability of truth.