- 417 名前：１３２人目の素数さん mailto:sage [2011/09/01(木) 03:12:45.54 ]
- >>415
＞(*)を満たすことを示すことは「P => Q」をしてしているのであって、
＞関数の存在を示すためのものではない。
そこの感覚が、意味が分からない。君が(*)をチェックする目的が
「関数の存在を示すのが目的ではない！」
のだとしても、(*)を満たすことが言えた瞬間に、君の目的や意図とは無関係に
「 Pは真である 」
が証明されたことになるわけよ。
つまり、君は「 Pが真であること 」を先に証明してしまったわけ。
