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}