0542現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
2018/01/16(火) 09:56:48.16ID:P1O+7+Vj数学の原理原則として、当たり前だが・・
正しい定理は、その証明とは切り離されて、定理だけが引用されてしかるべき。また、そういう例はいたるところある
だから、定理の主張するところは、明確になっていなければならない
定理の証明で使われた”B_N,M”なるものが、さかのぼって定理の命題に含意されるとするならば、それは定理の命題としてきちんと述べておくべきことだろう