theorem AxiomaticThinking.empty_model_resolves
theorem AxiomaticThinking.empty_model_resolves
: ∀ (m : Model) (b : Belief), ModelHoldsContradiction m b → ∀ (m' : Model), ModelIsEmpty m' → Resolves m' m b