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

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

年別: 2021年

【問題】集合Xに対して和集合の公理が主張する集合が一意に定まることを証明せよ-集合論(和集合の公理&外延性の公理)

【問題】集合$X$に対して和集合の公理が主張する集合が一意に定まることを証明せよ 集合$X$に対して和集合の公理が主張する集合が一意に定まることを証明せよ 和集合の公理 $\forall X \, \exists A \ […]

#2 空集合だけを要素に持つ集合

空集合だけを要素に持つ集合 前回、空集合の発見にて、$\emptyset$(空集合)という集合の存在が確認できました。 それでは次に、対の公理が主張する集合について見ていきます。 「$x$と$y$という要素に対して、対の […]