impredicative 非直谓的, 非断言的 释义与例句 adj. 1. definable only in terms of a totality of which it is itself a part 数学 哲学