狹義非直謂

概念
狹義非直謂(narrow impredicative)一種非直謂定義法.指用非直謂定義法所定義的對象在下定義時非藉助於總體不可,亦即被定義的對象只能藉助於這一總體才能定義時,則稱之謂狹義非直謂. 例如,一切序數所組成的良序集W的序數月.這是一種非直謂定義,狹義非直謂是廣義非直謂的特殊情形.

相關詞條

熱門詞條

聯絡我們