theorem AxiomaticThinking.empty_belief_system_resolves_contradictions
theorem AxiomaticThinking.empty_belief_system_resolves_contradictions
: ∀ (k : BeliefSystem),
  k is-contradictory-belief-system →
    ∀ (k' : BeliefSystem), k' is-empty-belief-system → ∃ b, k' resolves b in-belief-system k