Formal Language Construction Protocol | Axiomatization | Mathematics | NEROS