#1 空集合の発見 更新日：2021年6月4日 公開日：2021年5月31日 集合論 空集合 「空集合の公理が主張する集合」は外延性の公理によって、一意に定まることが証明できるので、「空集合の公理が主張する集合」は1つしか存在しません。よって、その集合を$\emptyset$（空集合）と呼ぶことにします。 […] 続きを読む
