We write "Ω;Γ ⊢ A true" where Γ contains the true hypotheses as before, and Ω contains valid hypotheses.
我们写“Ω; Γ ⊢ {\displaystyle \vdash } A true”，这里的 Γ 象以前一样包含真假定，而 Ω 包含有效假定。