質問: 空集合のべき集合 空集合のべき集合が空集合であることを証明したいのですが、 こういうあたりまえって思える証明はやっぱり背理法を用いるのでしょうか?
回答: >空集合のべき集合が空集合 空集合φのベキ集合は {φ} (要素が空集合である集合) であって空集合ではありません. すべての集合は その部分集合として自分自身と空集合をもつのですが, 自分自身が空集合なのでこうなります.