axiom of limitation of size (Q836475)
Jump to navigation
Jump to search
axiom that a class is a proper class if and only if there is a function that maps it onto the class of all sets
- von Neumann's axiom
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | axiom of limitation of size |
axiom that a class is a proper class if and only if there is a function that maps it onto the class of all sets |
|
Statements
![{\displaystyle \forall C{\Bigl [}\lnot \exists D\left(C\in D\right)\iff \exists F{\bigl [}\forall y\exists x{\bigl (}x\in C\land (x,y)\in F{\bigr )}\land \forall x\forall y\forall z{\bigl (}[(x,y)\in F\land (x,z)\in F]\implies y=z{\bigr )}{\bigr ]}{\Bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14a35476aaa87e80466e334967e900f6e275594e)
0 references
Identifiers
Sitelinks
Wikipedia(5 entries)
- cswiki Axiom omezené velikosti
- enwiki Axiom of limitation of size
- frwiki Axiome de limitation de taille
- huwiki Méretkorlátozási axióma
- zhwiki 大小限制公理