人気ブログランキング |

「この文は、体系Sの中で証明できない」

真である命題は、体系Sの内部で証明可能である命題と、証明不可能である命題の2つに分かれます。

標題「この文は、体系Sの中で証明できない」を文Bと名付け、真だとします。すると、Bは体系Sの中で証明できません。真であるけど、証明できない命題、オレンジ色の部分です。

文Bが偽だとします。するとBは体系Sの中で証明ができることになります。証明できる文は真なので、矛盾です。

d0164691_8345116.png

by tomoarrow | 2015-08-17 07:00 | モチーフについて | Comments(2)
Commented by たんぽぽ at 2015-08-17 23:02 x
これが「作った」と言っていた画像かしら?

(エントリの本題と無関係で恐縮です。)
Commented by tomoarrow at 2015-08-18 07:51
うんにゃ。これは前から予約投稿してあったものです。先日作った画像は20日に公開されます。