Strong completeness requires semantic entailment to match provability, but this equivalence need not...
This proposition has not been edited since the history system was added.