空集合の公理
$ \exist A\forall x(x\notin A)
要素を一つも持たない集合の存在を示す公理
これと
外延性公理
より、要素を一つも持たない集合がただ一つだけ存在することを示せる
$ \exists!A\forall x(x\notin A)
この
$ A
を
空集合
$ \varnothing
と定義する
#2021-10-14
11:36:05