Arithmetization of Syntax Review and Validation Protocol | Arithmetization of Syntax | Mathematics | NEROS