2008-08-17から1日間の記事一覧
http://d.hatena.ne.jp/uskz/20080811/p9とかhttp://d.hatena.ne.jp/uskz/20080811/p2とかで語られていることって、集合の話で考えると「A⊆BとA⊇Bを別々に示すぐらいなら、同値変形でA=Bを一度に示した方が手っ取り早くね?」ということですよね。 証明でき…
おまけ。 集合の = は⊆かつ⊇の略記 違います!集合のX=Yは、集合というオブジェクトとして等しいという意味です!!外延性の公理があるから全てのxに対してが成り立っていればX=Yになってくれるというだけです!!!……というのが正しい集合論脳であります。 …