Аксіома об'ємності
З Вікіпедії, безкоштовно encyclopedia
Аксіомою об'ємності називається наступне висловлювання теорії множин:
Якщо переписати аксіому об'ємності у вигляді
- ,
тоді дану аксіому можна сформулювати так:
- "Якими би не були дві множини, якщо кожен елемент першої множини належить другій множині, а кожен елемент другої множини належить першій множині, тоді перша множина є ідентичною другій множині."
Інше формулювання:
- «Дві множини рівні в тому і тільки в тому випадку, коли вони складаються з одних і тих самих елементів.»