>>488 追加
(参考)
https://www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大 尾畑研
「集合・写像・数の体系　数学リテラシーとして」の草稿(pdf)
第1章
https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_01.pdf

ここの
P14 「定理1.20(背理法)次の推論は有効である」
からの”背理法”の説明が秀逸だ
ZFCのコテコテの一階述語論理より、こっちの方が重要だろうさ　；ｐ）

(参考)（但し 東京理科大の人は、”背理法被害者の会”が 済むまで 大人しくしておくように。望月先生のような態度は、天才のみに許されるのです　（＾＾）
https://note.com/uen0/n/n45881d3391b2
背理法に背を向ける（2002,2013・東京理科大学・理学部・数学科）
uenotakato（上野尚人:イマイさん）数学講師
2019年5月31日

https://abel.a.la9.jp/sub11.html
背理法被害者の会
東京理科大学理学部第一部数学科　教授　安部直人