as a synonym of non-£Γ-eliminability. But this is a way too much ... A dependent variable p in a UL-proof P is called a proper (improper).
確定! 回上一頁