TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
最も美しいプログラミング言語は? Part6
Visual Studio 2017 Part6
おまいらのプログラムの勉強の仕方を教えろください
3Dアルゴリズム全般
Visual Studio Code / VSCode Part3
クラス名・変数名に迷ったら書き込むスレ。Part28
Swift part12
Borlandにはやられた...
Google Maps API 質問箱
起業しようぜ8
85 :
>>80
>「その公理系の中に矛盾があった場合でも、『その公理系の中では “矛盾がある”』ということを、その公理系の中では証明できないかもしれない」
ちょっと違うと思います
「(ある特定の)公理系が無矛盾であれば、その公理系内で自分自身の無矛盾を証明できない」です

>「X と ¬X のどっちを仮定してもY は正しい」のが証明されちゃった
これは興味深いですね、キーワードを教えてください

ますたーのお勉強中の独り言スレ
Excel VBA 質問スレ Part56
C言語なら俺に聞け 151
くだすれDelphi(超初心者用)その55
生産性が低いC++で頑張るために必要な知識
Visual Studio 2005 Part 27
2ちゃんねる互換P2P匿名掲示板の実装を考える 1
リファクタリングをただのコード修正と思ってる人へ
【COBOLから】バッチ処理【Javaまで】
関数型言語一般
--------------------
【残尿ワイド】水上学164【アテルヨロコビ】
GAZIANO&GIRLING GG14
アメリカ大統領選挙初!社会主義者候補サンダース
【俺妹】新垣あやせ お兄さんと入49、するわけないじゃないですか!
機動戦士ガンダムオンラインPart6352
人生ゲーム ハイ&ロー Part2
【つべ】猫部屋ライブのチャット常連を語れ4【Miaou】
【郵便&ローソン】e発送サービス【boon代替?】
和食って何でもかんでも砂糖使いすぎだよなこんなに飯で砂糖使うのって日本くらいだろ
( ^ω^)うんこさわると
まったく当てにならない教育学の 「 統 計 」
【名古屋】IDの出ない雑談スレで気が向いたらオフ Part.5
悪徳 社会福祉法人
近畿の高校野球577
【新妹魔王の契約者】上栖綴人 Part6【はぐれ勇者】
冷蔵庫のuptimeって凄くない?
レノファ山口FC 〜維新劇場 第139幕〜
【∞∞】ブエノスアイレス地下鉄【黄電】
【沖縄】玉城デニー知事、自衛隊に災害派遣要請 新型コロナで入院患者が急増 ★3
真夏の夜の淫夢 [816528813]
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼