[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
467
(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/11(月)00:12 ID:AHfZgdJQ(2/15) AAS
>>465
コメントありがとう
9個の話は、下記
”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice -
cf., e.g., [Drk], Chapter 1, §3].”
で、”the nine axioms”に言い掛かりつけて、「望月先生が、基礎論・集合論を分かってない」というに

私は、” [Drk], Chapter 1, §3].”を見なきゃ、始まらないだろうし
省15
498
(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/11(月)17:38 ID:zmgc47N7(13/17) AAS
>>467
”Species”関連

(参考)
外部リンク[pdf]:www.kurims.kyoto-u.ac.jp
INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
省10
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.034s