Para nieuporządkowana
Z Wikipedii
Para nieuporządkowana {a, b} to zbiór dwuelementowy zawierający tylko elementy a i b. Jego istnienie gwarantuje aksjomat pary. Aksjomat sumy pozwala na łatwe zdefiniowanie trójek, czwórek, etc. Pokażemy teraz jak stworzyć trójkę przy pomocy aksjomatu sumy i pary:
- mamy byty a, b, c.
- z aksjomatu pary wiemy, że istnieje {a,b}
- z aksjomatu pary wiemy, że istnieje {c,c} = {c}
- z aksjomatu pary wiemy, że istnieje {{a,b},{c}}
- z aksjomatu sumy wiemy, że istnieje U{{a,b},{c}} = {a,b,c}