Axioms of anti-logic A {\displaystyle \mathbf {A} } A ⊆ B {\displaystyle \mathbf {A} \subseteq \mathbf {B} } ¬ B {\displaystyle \lnot \mathbf {B} }
