Diagonalization in Formal Mathematics