sur 5
Diagonalization in Formal Mathematics — Paulo Guilherme Santos