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