• impredicative

impredicative (suomeksi)

Määritelmät:

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