axiom schema of replacement (Q1361825)
Jump to navigation
Jump to search
in set theory, the axiom schema that the image of a set under a definable class function is also a set
- axiom schema of collection
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | axiom schema of replacement |
in set theory, the axiom schema that the image of a set under a definable class function is also a set |
|
Statements
1921
0 references
![{\displaystyle \forall w_{1},\ldots ,w_{n}\,\forall A\,\exists B\,\forall x\,(x\in B\Leftrightarrow [x\in A\land \varphi (x,w_{1},\ldots ,w_{n},A)])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2a03009c1d01901913412ed838a2bdc5c48bbac)
Identifiers
Sitelinks
Wikipedia(16 entries)
- cswiki Schéma nahrazení
- dewiki Ersetzungsaxiom
- elwiki Αξιωματικό σχήμα της αντικατάστασης
- enwiki Axiom schema of replacement
- eswiki Esquema axiomático de reemplazo
- fawiki اصول موضوع جایگزینی
- frwiki Schéma d'axiomes de remplacement
- hewiki אקסיומת ההחלפה
- itwiki Schema di assiomi di rimpiazzamento
- jawiki 置換公理
- plwiki Aksjomat zastępowania
- ptwiki Axioma da substituição
- ruwiki Схема преобразования
- svwiki Substitutionsaxiomet
- ukwiki Аксіомна схема підстановки
- zhwiki 替代公理