清晰謂詞(distinct predicate)邏輯學的基本概念之一它是任何對象滿足該謂詞與否完全分明的那種謂詞.設P為一謂詞(概念或性質)，如果對任何對象x而言，總是要么x完全滿足P，要么x完全不滿足屍，亦即不存在這樣的對象，它部分地滿足屍，部分地不滿足屍，則稱屍是清晰謂詞，並記為 disP.此處dis是“清晰的”的簡記.
清晰謂詞(distinct predicate)邏輯學的基本概念之一它是任何對象滿足該謂詞與否完全分明的那種謂詞.設P為一謂詞(概念或性質),如果對任何對象x而言,總是要么x完全...
模糊謂詞(fuzzy predicate)是邏輯學的基本概念之一,它是一種存在對象滿足該謂詞與否不分明的那種謂詞。...
泛概括定理表明,在MS系統中,任何正規清晰謂詞,必有一集A,使得A是該謂詞的恰集.另一方面,在MS系統中,又能嚴格證明,任何康托爾意義下能用來造集的謂詞都是MS...
公理簡介 泛概括公理(axiom of pan-comprehension 中介公理集合論的一條核心公理.泛概括公理的直觀思想和含義是:任給一謂詞屍,不論它是清晰謂詞,還是模糊謂詞,則...