>  2005/05/20 (金) 07:23:58        [qwerty]
> > "問いの中に"意思の共有が不可能であるような場合が前提されていてその不可能性
> > こそまさにこれから君が証明しようとしているものなのだから使っちゃダメだよ(´ー`)
> つまり前提を証明すれば、これから証明される事も証明できるということだろ
> 前提は証明されているので証明は不要ということでいいのかな(´ー`)

うん(´ー`)x+y+z=4(x,y,z>0の自然数)の時にxに10とか入れちゃったらyやzを考えるまでもなくダメだってのはわかるだろ?
でもxに1って入れたからってそのまま正解になるかといったらそうじゃないんだ(´ー`)ちょっと高度な話だけどね

参考:2005/05/20(金)07時16分50秒