Category:Axioms/Axiom of Abstraction

From ProofWiki
Jump to navigation Jump to search

This category contains axioms related to Axiom of Abstraction.
Related results can be found in Category:Axiom of Abstraction.


Given any property $P$, there exists a unique set which consists of all and only those objects which have property $P$:
$\set {x: \map P x}$

Pages in category "Axioms/Axiom of Abstraction"

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