Satisfiability Verification Protocol | Axiomatization | Mathematics | NEROS