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