theorem AxiomaticThinking.actuality_not_contradictory
theorem AxiomaticThinking.actuality_not_contradictory
(logic_is_actual : LogicIsActual)
: ∀ q : Prop, ¬ (A q ∧ A (¬ q))