impredicative

形容詞

比較不可 命題

(logic, of a proposition) definable only in terms of a totality of which it is itself a part

日本語の意味

全体性（自身を含む集合）に依存して定義される、つまりある対象がその定義全体の一部として扱われる性質を指す / 自己を含む全体の中で定義される、自己参照的な定義の性質を示す

このボタンはなに？

The philosopher pointed out that the definition was impredicative, because it referred to the total class that included the very element being defined.

哲学者は、その定義がそれ自身が属する全体によってのみ定義されるものであると指摘した。なぜなら、それは定義される要素自身を含む全体の集合を参照していたからだ。

詳細

意味（1）

(logic, of a proposition) definable only in terms of a totality of which it is itself a part