Abstract Structure Definition Protocol | Axiomatization | Mathematics | NEROS