Tag: impredicative definition

Impredicative Definitions in Mathematics and Logic

An impredicative definition defines an object in terms of a totality to…

Bossmind