Property |
Value |
dbo:abstract
|
- A páraxióma a halmazelmélet rendszereinek tipikus axiómája: Ha x és y halmazok, akkor létezik egy olyan z halmaz, amelynek x és y eleme, más eleme viszont nincs. Egy másik tipikus halmazelméleti axióma, az extenzionalitási axióma biztosítja, hogy adott x-hez és y-hoz egyetlen ilyen z párhalmaz létezik. A párhalmaz bevett jelölése: . Speciális esetként x és y lehet ugyanaz a halmaz is; az axióma tehát az egyelemű halmazok létezését is szavatolja. Ezeket -szel jelöljük. (hu)
- A páraxióma a halmazelmélet rendszereinek tipikus axiómája: Ha x és y halmazok, akkor létezik egy olyan z halmaz, amelynek x és y eleme, más eleme viszont nincs. Egy másik tipikus halmazelméleti axióma, az extenzionalitási axióma biztosítja, hogy adott x-hez és y-hoz egyetlen ilyen z párhalmaz létezik. A párhalmaz bevett jelölése: . Speciális esetként x és y lehet ugyanaz a halmaz is; az axióma tehát az egyelemű halmazok létezését is szavatolja. Ezeket -szel jelöljük. (hu)
|
dbo:wikiPageID
| |
dbo:wikiPageInterLanguageLink
| |
dbo:wikiPageLength
|
- 3548 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dct:subject
| |
rdfs:comment
|
- A páraxióma a halmazelmélet rendszereinek tipikus axiómája: Ha x és y halmazok, akkor létezik egy olyan z halmaz, amelynek x és y eleme, más eleme viszont nincs. Egy másik tipikus halmazelméleti axióma, az extenzionalitási axióma biztosítja, hogy adott x-hez és y-hoz egyetlen ilyen z párhalmaz létezik. A párhalmaz bevett jelölése: . Speciális esetként x és y lehet ugyanaz a halmaz is; az axióma tehát az egyelemű halmazok létezését is szavatolja. Ezeket -szel jelöljük. (hu)
- A páraxióma a halmazelmélet rendszereinek tipikus axiómája: Ha x és y halmazok, akkor létezik egy olyan z halmaz, amelynek x és y eleme, más eleme viszont nincs. Egy másik tipikus halmazelméleti axióma, az extenzionalitási axióma biztosítja, hogy adott x-hez és y-hoz egyetlen ilyen z párhalmaz létezik. A párhalmaz bevett jelölése: . Speciális esetként x és y lehet ugyanaz a halmaz is; az axióma tehát az egyelemű halmazok létezését is szavatolja. Ezeket -szel jelöljük. (hu)
|
rdfs:label
|
- Páraxióma (hu)
- Páraxióma (hu)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is foaf:primaryTopic
of | |