暇つぶし2chat MATH

- 暇つぶし2ch281:そうすると出だしの定理1.7が偽だから、定理1.7とは違う他の命題 P' で任意に置き換えて、命題 P' から系1.8が導けることになる。だが、このようなことはあり得ない。だから、定理1.7を偽として真の命題である系1.8を導く証明は正しくない。だから、定理1.7を真として真の命題である系1.8を導く証明をすることになる。それ故、このように、スレ主の主張に対して>>218-219の内容に似たことが適用されることになる。