24/02/12 18:24:56.57 vqdMPIUf.net
>>242
じゃあ∀を後ろにもってっても証明できるはずだろ、定理のステートメントに開けてないことを明示しろよって言ってるの
例えばこの関数は連続であるって主張があって、証明も書いてあって、その後に証明を追ってみればわかるがこれは一様連続であることも証明って書いてあったら腹立つだろ
今君が主張してるのはこういう後付けに加えて一様連続であるって記述も抜けてるんだよ
24/02/12 18:24:56.57 vqdMPIUf.net
>>242
じゃあ∀を後ろにもってっても証明できるはずだろ、定理のステートメントに開けてないことを明示しろよって言ってるの
例えばこの関数は連続であるって主張があって、証明も書いてあって、その後に証明を追ってみればわかるがこれは一様連続であることも証明って書いてあったら腹立つだろ
今君が主張してるのはこういう後付けに加えて一様連続であるって記述も抜けてるんだよ