[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

447(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/21(月)22:18 ID:P3acsak1(1/2) AAS
>>446
コンピュータ言語の記法やね
「a=a+１」
いわゆる、再帰的な式な（＾＾

プログラミングが義務教育に入ったらしいね
（数学記法では、”a=a+１”はありえないだろうけどね）
外部ﾘﾝｸ[html]:ratan.dyndns.info
省6

---

448: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/21(月)22:24 ID:P3acsak1(2/2) AAS
”The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo?Fraenkel set theory; in particular it would imply the existence of strongly inaccessible cardinals. ”
なので、”beyond the usual axioms of Zermelo?Fraenkel set theory”で、ZFを含んでいるでしょ（＾＾

外部ﾘﾝｸ:ja.wikipedia.org
グロタンディーク宇宙

外部ﾘﾝｸ:en.wikipedia.org
Grothendieck universe
(抜粋)
省1

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.038s