Theorem Extraction and Validation Protocol | Axiomatization | Mathematics | NEROS