>>90
>定理3.11が成立することは誰もが合意できているんですかね？
そんなこといってないよ

もし、”定理”3.11から”定理”3.11.5が証明できたら、
今度は証明されてない予想が、”定理”3.11.5から”定理”3.11に移る
それだけ

これをつづけていくことで、自明な前提まで遡れれば、証明の正しさが認められる

自明な前提がどこなのか？　さあ

LANAの人に聞いてくれ（笑）