Category:Impredicative Definitions

From ProofWiki
Jump to navigation Jump to search

This category contains results about Impredicative Definitions.
Definitions specific to this category can be found in Definitions/Impredicative Definitions.


An impredicative definition is a definition in which an element of a set is defined by reference to the totality of the elements of the set .

This category currently contains no pages or media.