TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【あずま】東浩紀538【システム】
ものすごい勢いで誰かが質問に答えるスレ@哲学
【表現の自由】東浩紀491
【あずま】東浩紀522【システム】
■■■■■■■■■■■プョッ■■■■■■■■■■■
■■■■■■■■■■■ でんでん ■■■■■■■■
■■■■■■■■波平はニート■■■■■■■■
■■■■■神が存在する証拠■■■■■
自分が悟りを開いたと勘違いした精神異常者の末路
政治状況、政情について語るスレ【政治哲学】
166 :
たとえば、ある公理系に於いて命題Aを述べることが可能であるとして
『命題Aは証明できない』ことは証明できるでしょうか

もしそれが証明できたとするなら、その公理系では証明できない命題が存在する
そういうことになります
またそれが証明できないときには
「命題Aが証明できないことは証明できない」ことが証明できるか、という問題を考えます
それが証明できたなら、やはりその公理系では証明できない命題が存在するわけです

これを続けると、どこまでも証明できない命題を作ることができます

しかしそもそも、命題Aが証明できたらどうなるのか
その場合には、「命題Aは証明できない」ことは偽である、ということになって
「命題Aが証明できない」ことは証明できないわけです

証明を規則的に構成しようとすると、おかしなことになります

【小説家に】東浩紀532【なろうラジ】
■■■■■■■■■■■マラ判定■■■■■■■■■■
  禊健太郎(波平)、来年で40歳職歴無し
   無 職 と 東 浩 紀
■■■■■■■■■ 純一印 ■■■■■■■■■
■■■■■■■■■■■ 女傑マラ荒江の教え ■■■■
ごめんなさい を探してね
カール・マルクス
右翼になろうよ♪ 13
愛とはなんぞや シーズン54
--------------------
民芸品516
【ラサール石井】納めた税金が和牛の商品券になる国ヤバいに対し「その間にだいぶ抜かれてるからね。」
一人暮らしの喪女いる?127部屋目
【森友改ざん】「再調査を」署名35万筆突破 自殺職員の妻ら ★2 [クロ★]
アウトレット格付け in関東甲信越
平田弘史総合スレッド
【京都】発熱してマスクせずに接客…50代会社員が陽性に ヨーロッパ渡航のフランス国籍男性も感染
集団ストーカー 被害報告
チア動画について語りましょうpart8
sarms情報交換スレ Part.2
時空間実体重力物理次元保管
聖闘士星矢ver.414
ROG Phone II Part1
テレ玉マターリ実況スレ★2416万石
夢のデジタルカメラ1
ロト6 その678
気ままにまったり
【可愛い】杉浦まゆ最強伝説【大好きな女流プロ】
【スイス】ロジャー・フェデラー141【peRFect】
大物Youtuber あまる×みざ×める トロマン種付け暴走ホモトレイン
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼