Diagonalization in Logic Review and Validation Protocol | Diagonalization in Logic | Mathematics | NEROS