対の公理
$ \forall x\forall y\exists A\forall a\left(a\in A\iff a=x\lor a=y\right)
これと
外延性公理
とを組み合わせると、この式を満たす
$ A
が
$ x,y
に対してただ一つしか存在しないことを示せる
写像
$ (x,y)\mapsto A
が存在する
これを記号
$ \{x,y\}
で表す
#対の存在公理
axiom of paring
#2021-10-17
19:54:50 語調を変更
#2021-10-14
11:46:10