2006-11-30から1日間の記事一覧

集合論の公理系(その 6)

和集合公理 和集合公理 この公理は、与えられた「集合からなる集合」に対して、それらの集合の要素を全ての要素とする集合(和集合)の存在を主張します。このような y はやはり一意的に定まり、それを で表します。特に のことを と書きます。 べき集合公理 …