Email Record: Diagonalization in formal mathematics /