結果 : set theory proof problems