Para nieuporządkowana
Z Wikipedii
Para nieuporządkowana {a, b} to zbiór dwuelementowy zawierający tylko elementy a i b. Jego istnienie grawantuje 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