Title: Diagonalization in Formal Mathematics