>>326
証明可能性と真偽も区別できるようになろうね
これもシンタックスとセマンティクスの区別だ
不完全性定理は証明可能性に関する定理であって、真偽についての言及は不完全性定理の系
数学基礎論・数理論理学 その18 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
335１３２人目の素数さん
2016/09/23(金) 23:11:41.43ID:yJYlRHr7■ このスレッドは過去ログ倉庫に格納されています
ニュース
- なぜコンビニは「外国人店員」だらけになったのか？ 大手3社で8万人超…元セブン社員が明かす「日本人が集まらなくなった」現場の実情★5 [♪♪♪★]
- 【沖縄】「許せない」「基地を返せ」 強盗殺人事件、沖縄に怒りの声 ★2 [ぐれ★]
- 【MLB】ドジャース戦の中継で疑問の声「ガラガラじゃない？」 地区S初戦なのに…発表5万人超も「何が起きてる」 [jinjin★]
- 【消費税国会】今日開会 野党対案は現金給付、10兆円ありきの論争へ [蚤の市★]
- 【中日】新監督有力候補に工藤公康氏浮上 地元出身、ソフトバンクで日本一５度の“優勝請負人” [征夷大将軍★]
- 【調査】都道府県魅力度ランキング2026、残念ながらワースト1位は…？ ★2 [ぐれ★]
- 高市早苗はヒトラー🪰24 [784319933]
- 発達障害の最近のお気に入りワード「キャンセルカルチャー」
- 記者「そう言えばトランプ大統領が約束してた『黄金時代』ってどうなったの？」米財務長官「それはイラン紛争の向こう側にありまぁす」 [624898991]
- 死ね
- 「HOKA」、ガチで流行りまくる。外に出たらHOKA履いてる人しかいない。なんでダサいのに流行ってるの？ [838847604]
- トランス男性、ホルモン治療困難 地震で被災、10人相談 ヤフコメ「熊本から出てけ」 [377482965]