25/11/08 10:35:55.86 P9qVEF++.net
>>488 追加
(参考)
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
東北大 尾畑研
「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf)
第1章
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
ここの
P14 「定理1.20(背理法)次の推論は有効である」
からの”背理法”の説明が秀逸だ
ZFCのコテコテの一階述語論理より、こっちの方が重要だろうさ ；ｐ）
(参考)（但し 東京理科大の人は、”背理法被害者の会”が 済むまで 大人しくしておくように。望月先生のような態度は、天才のみに許されるのです （＾＾）
URLﾘﾝｸ(note.com)
背理法に背を向ける（2002,2013・東京理科大学・理学部・数学科）
uenotakato（上野尚人:イマイさん）数学講師
2019年5月31日
URLﾘﾝｸ(abel.a.la9.jp)
背理法被害者の会
東京理科大学理学部第一部数学科 教授 安部直人