5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

§慶應通信君と行く、慶應マンセースレ§

419 :慶應通信 ◆BvFqbDgpVY :04/05/10 10:08 ID:ghZsqUDi
さてではどういうことになるでしょうか?
前までで「命題Xは真である」ことが証明されたのでしたね。
つまり「この命題(命題X)は証明不可能である」ことが証明されたのです。言い換えると
「命題Xが証明不可能であることは、証明可能である」(言明A)となるわけですね。

しかしもう一度命題Xを確認してみましょう。まじめに申し上げたように命題Xの中の「この命題」とは命題X
自身のことでしたね。だから代入して見ます。すると、



これと先ほど導出した言明Aを較べて見てください。

「『この命題は証明不可能である』は証明不可能である」(命題X)
「命題Xが証明不可能であることは、証明可能である」(言明A)

もう分かりましたかw

350 KB
★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)