Axiomatic Consistency

#Math

$\displaystyle s\rightarrow !(!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