0448現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
2018/10/21(日) 20:04:15.01ID:8Bzz+Eyk”仰る通りだね
1)適用する定理が正しく & 2)(その定理に矛盾する)適用する対象が空(空集合)
の場合は例外的に、1)と2)の組み合わせが、数学として許容される”
ここらの例外扱いが、背理法反対派の一つの根拠かもしれないと思う今日この頃(^^
ただ、ある対象が存在しない(あるいは矛盾する存在)ということを証明しようとすると、
背理法で「存在すると仮定して・・」とやりたくなりますよね(^^