数学:細かすぎる証明・計算

数学について細かく証明したり計算します。

年別: 2021年

#1 空集合の発見

空集合 「空集合の公理が主張する集合」は外延性の公理によって、一意に定まることが証明できるので、「空集合の公理が主張する集合」は1つしか存在しません。よって、その集合を$\emptyset$(空集合)と呼ぶことにします。 […]