>>185 追加
背理法のように、複雑な対象は
いろんな角度から 多角的多面的な切り口で考えるべき

ワイルズ氏のフェルマー最終定理の背理法について
下記の 仏語 Raisonnement par l'absurde （Proof by contradiction）
の”The reductio ad absurdum is therefore represented by:
S∪{¬p}⊢F
↓
S⊢p”
が、一つの切り口だね

命題 p：a^n+b^=c^n 　nは3以上の整数 a,b,cの整数解を持たない
”S is a set of assertions that are taken as already established”
ここで、ワイルズ氏がチャレンジした時は、Sの中では 谷山志村予想であって
当時は、まだ予想は 解かれていなかった
だが、谷山志村予想が証明できれば、背理法が成立して フェルマー最終定理が証明できるのだった

これを 背理法被害者の会の人たちは、否定するの？
それはヘンですよｗ
少なくとも、ワイルズ氏の背理法によるフェルマー最終定理の証明に対する
代案（直接法）を、提出してから 寝言を言ってね （＾＾

(参考)
https://fr.wikipedia.org/wiki/Raisonnement_par_l%27absurde
Raisonnement par l'absurde
英訳
Proof by contradiction
In logic and mathematics
The reductio ad absurdum is therefore represented by:
S∪{¬p}⊢F
↓
S⊢p
In the preceding discussion, p is the proposition we wish to prove, and S is a set of assertions that are taken as already established; these could be, for example, the axioms of the theory in which we are working or specific hypotheses. Considering the negation of p in addition to S , if this leads to a logical contradiction F , then we can conclude that p can be deduced from the propositions in S.