| dbp:mathStatement
|
- Let be a formula that quantifies only over sets and contains no free variables other than . Then for all , there exists a unique class of (en)
- #
#
#
# (en)
- -tuples (en)
- If is a set and is a subclass of then is a set. (en)
- such that (en)
- such that: The class is denoted by (en)
- Let be a formula that quantifies only over sets, contains no free variables other than , and may contain relations, special classes, and operations defined by formulas that quantify only over sets. Then for all there exists a unique class of (en)
|
