| 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)
|
