[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
547(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/12(火)15:35 ID:jIkDYE6o(9/16) AAS
>>545
どうも
コメントありがとう
>議論ではないですけどね
まあ、そうだけど
望月IUT IVに書いてある ZFCの公理が9個が間違いで
「正しくは無限個」で、これをもって「望月氏が、基礎論とか集合論が分かってない」とか
省20
550: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/12(火)15:55 ID:jIkDYE6o(11/16) AAS
>>547 訂正
（日付追加）
外部ﾘﾝｸ:www.math.nagoya-u.ac.jp
橋本 光靖 (はしもと みつやす) 名大
外部ﾘﾝｸ[pdf]:www.math.nagoya-u.ac.jp
講義ノート 圏と関手入門 橋本 光靖 名大
↓
省5
554(1): 2020/05/12(火)16:40 ID:gmSQkuCI(9/14) AAS
>>547
圏論を展開するのにZFCのような強い理論は必要ないといわれてますね
マクレーンは、ツェルメロの集合論Zより弱い集合論を考えたといわれてますし
ああ、それから、公理図式(axiom schema)を使わない公理系を
「有限公理化可能」というんですが、ZFCだけでなくペアノ算術も
有限公理化不可能です（ペアノ算術では数学的帰納法が公理図式）
あと、NBG集合論では、クラスに関する限量子を認めるので有限公理化可能です
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s