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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
78
(1): 2021/12/10(金)10:46 ID:ZfXXklGr(2/6) AAS
>>77
つづき

外部リンク[pdf]:www.kurims.kyoto-u.ac.jp
INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki
April 2020
P6
Here, we recall in passing
省16
96
(1): 2021/12/11(土)00:43 ID:NlOcJbIY(3/9) AAS
>>85
>ZFCUとか公理系の話してんのに新しい推論規則言ってるのが何とも

そうそう
同意です

公理系の公理を分類すると
1.推論規則関連
2.無限公理関連
3.選択公理関連
4.連続体仮説関連
5.クラスや型の扱い(含む圏論関連)
省20
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.040s