“お膳立て”というより、証明そのものの話、しかも小ネタ。なのでオマケとします。内容： 像と逆像に関する、とある命題 集合の内包的記法なら証明できる？ 何が問題なのか 半分なら証明できる 仮定にある存在命題の使い方 追記： コメントへの応答 （2020-05…