intro h
L : Language
σ : Sentence L
T : Theory L
consis : System.Consistent T
comp : System.Complete T
⊢ ¬T ⊢! ~σ → T ⊢! σ
L : Language
σ : Sentence L
T : Theory L
consis : System.Consistent T
comp : System.Complete T
h : ¬T ⊢! ~σ
⊢ T ⊢! σ