Diagonalization in Formal Mathematics - Santos (Springer Fachmedien Wiesbaden, 2020)