Diagonalization in Logic Execution Protocol | Diagonalization in Logic | Mathematics | NEROS