2014-12-31から1日間の記事一覧

集合論勉強会のフィードバック(2)

(内輪で投稿されたノートに対するコメントのため、関係者以外には意味不明です。) 問4:空集合のケースに関する議論はOK。「空集合でないケース」の証明は、以下の事柄を暗黙に用いている:「\(B\)の元は含まれず\(A\)の元のみ含まれる集合」(\(C\)とする…