0433１３２人目の素数さん
2018/11/02(金) 09:35:27.25ID:QXzJaN/A形式体系を定義する段階で集合とか写像って扱えるのか？
探検
数理論理学（数学基礎論） その13
■ このスレッドは過去ログ倉庫に格納されています
形式体系を定義する段階で集合とか写像って扱えるのか？
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【ドジャース】大谷翔平、今季初3試合連発の11号2ラン 3戦4発でHRキング争い単独トップ＆年間50本ペースと勢い止まらず [フォーエバー★]
- 【筆箱】娘の同級生「それ、百均やん」 生活保護受けるシングルマザー「最低限度の生活って何ですか？」 [nita★]
- 【子持ち様】「世間の不満のはけ口に使われた」 炎上した"産休クッキー"メーカー会長が嘆く日本社会の“生きづらさ” [おっさん友の会★]
- "大谷翔平フィーバー”で殺到する日本メディア、同僚ベッツ「ショウヘイのことを聞かれてもコメントするのをやめた」 [おっさん友の会★]
- 【那須遺体】「口汚い朝鮮語で罵って…」宝島夫妻、中国の吉林出身…旦那は尻に敷かれ、妻が経営主導 [おっさん友の会★]
- 長女と内縁関係の男、宝島さん夫妻を「パパ」「ママ」と呼ぶ…「いずれは店を継ぎたい」と語る [蚤の市★]
- 【悲報】イケメン20代男性さん、晒される [834922174]
- 埼玉県上空に紫雲が出現!!!!!!! [974680522]
- 【悲報】安倍晋三事件、いまだ裁判に進めず。「証拠の用意や争点の絞り込みが終わっていない」 [518915984]
- 大谷翔平またホームラン 11号
- 【速報】那須町夫婦遺体事件、6人目の逮捕者😲！！！！！！！！！！！ [573041775]
- データ以外を中古が買う意味がわからん