Category:Definitions/Impredicative Definitions

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Impredicative Definitions.
Related results can be found in Category: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 .

Pages in category "Definitions/Impredicative Definitions"

The following 2 pages are in this category, out of 2 total.