Axiomatic Consistency

$s\to !(!s)$

Requires that if a statement is true, then it’s negative can’t be true. Otherwise, everything would be true in this set of axioms