Reflexiones (mías y ajenas) III

Una definición impredicativa es aquella en la cual el término que se quiere definir forma parte del conjunto que se usa para definirlo.

«Hay que evitar las definiciones impredicativa» (Gödel)