If Γ ⊨ φ but Γ ⊬ φ exists as a concrete case, claiming Γ ⊢ φ universally contradicts that evidence a...
This proposition has not been edited since the history system was added.