>>446 余談

”仰る通りだね
１）適用する定理が正しく ＆ ２）（その定理に矛盾する）適用する対象が空（空集合）
の場合は例外的に、１）と２）の組み合わせが、数学として許容される”

ここらの例外扱いが、背理法反対派の一つの根拠かもしれないと思う今日この頃（＾＾
ただ、ある対象が存在しない（あるいは矛盾する存在）ということを証明しようとすると、
背理法で「存在すると仮定して・・」とやりたくなりますよね（＾＾