無料HP ウラノスの憂鬱 - 2013年03月

ウラノスの憂鬱


2013年03月 の記事一覧

| |

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

3/1(金)

(1)現存する全ての図書について記載した図書目録が存在すると仮定する。

(2)全ての図書は「自分自身に言及している図書」か、「自分自身に言及していない図書」の二つのどちらかに含まれる。

ここで、
(3)「自分自身に言及していない図書」全てが載っている図書目録を作る。
図書目録は「自分自身に言及している図書」か「自分自身に言及していない図書」のどちらかに含まれている。

a,図書目録が「自分自身に言及している図書」に含まれる場合
つまり図書目録に図書目録が載っている。しかし、これでは図書目録が「自分自身に言及していない図書」ではないので(3)と矛盾する。

b,図書目録が「自分自身に言及していない図書」に含まれる場合
つまり図書目録が図書目録に載っていない。しかし、これでは図書目録に「自分自身に言及していない図書」全てが載っていないので(3)と矛盾する。

(2)は否定できないので(1)を否定しなければならない。
よって現存する全ての図書について記載した図書目録は存在しない

うーん間違っている気がする
スポンサーサイト
Profile

岩倉玲音

Author:岩倉玲音
25歳の、、、何でしょうか?

Archives
02  01  06  02  10  08  07  06  04  03  10  09  08  07  06  05  04  03  02  01  12  11  10  09  07  05  04  03  02  01  12  08  07  05  04  03  02  01  12  11  10  09  08  07  06  05  04  01  12  11 
Links
Category
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。