等價式非直謂

定義

等價式非直謂(equivalent impredicative)一種非直謂定義法.凡是非直謂定義中的被定義對象僅藉助於“總體本身就是什麼”這樣的等價式刻畫來確定的，稱為等價式非直謂.例如，一切良序集所組成的良序集B.這裡被定義對象B是通過“一切良序集所組成的總體本身就是這個良序集B”來刻畫的. 又如，一切集合所組成的集合E.此處被定義對象E 是通過.‘一切集合所組成的總體本身就是這個集合 E”來刻畫的.如果把這種等價式的刻畫算作一種自相的定義方式，當然也須納人非藉助於總體定義的情形中去，因此，等價式非直謂是狹義非直謂的特殊情形.