Formalization in a Logical System Review and Validation Protocol | Formalization in a Logical System | Mathematics | NEROS