Tag: comprehension principle

Impredicative Definitions in Mathematics and Logic

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

Bossmind