0292１３２人目の素数さん
2014/04/30(水) 20:56:21.74たとえば新井敏康の数学基礎論の第八章（証明論の章）には
集合論KPの無矛盾性の統語論的証明がある
探検
集合論について
■ このスレッドは過去ログ倉庫に格納されています
たとえば新井敏康の数学基礎論の第八章（証明論の章）には
集合論KPの無矛盾性の統語論的証明がある
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【見るだけ痴漢】「今、あの男に見られたかも」…！街角の女性が打ち明ける、“チラ見被害”の「容赦ない実態」 ★3 [nita★]
- パパ活女子「おぢの態度悪い」、トイレ行くふりして帰宅…先払いの“お小遣い“返金しなくてよいの？ [少考さん★]
- 粗品、動画開始2秒で「どうも。神田伯山おもんない、粗品です」 [ネギうどん★]
- 四千頭身「僕たちって終わってるんですか？」オワコン指摘にハライチ岩井「プライド高い」「認められないのヤバい」の図星助言 [muffin★]
- 【交通事故】自転車「逆走」が招く重大事故 ドライバーには「一時停止無視のママチャリ」も恐怖 ★2 [ぐれ★]
- 小池都知事、蓮舫氏の同日公約発表に「やめません？そういうの」「誰のための何の選挙なのか。都民ナメてる」モデルの長谷川ミラ憤慨 [muffin★]
- オーストリア出張中の県の公務員､｢仕事の後にウィーンフィル聴いた｣とSNS投稿→｢公務員ふざけんな｣と匿名の投書で問題化 県も苦言 [597533159]
- 【絶対忠誠】んなたんとルーナイトのらぶらぶなお🏰【なのなのら！🍬】
- 日本を立て直すには老人を自決させるしかない👈この真実に対して論理的に反駁できるやつ、存在しない [479216124]
- 【緊急】Civ6、steamにて95%OFF‼‼‼ [195122617]
- 結局名前にすずが入ってるやつで最強なのは広瀬すずでいいの？
- すき家で男子高校生グループがキング牛丼を注文してグチャグチャに→スマホで撮影して出ていった。片付ける外人バイトが悲しい顔してた。 [153490809]