直謂公式是數學名詞。 基本介紹 中文名：直謂公式外文名：predicative formula 直謂公式(predicative formula)一類合式公式.若GB系統的合式公式中不出現約束類變元(即bA,3X這類量詞)，則稱該公式為直謂公式.GB系統的概括定理僅對直謂公式成立.
