Diagonalization in Logic Protocol Design | Diagonalization in Logic | Mathematics | NEROS