[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

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

---

632(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/16(月)18:55 ID:24IgbVxn(16/20) AAS
>>625
>以下の式が理解できないの？
>∀x.((∀(y∈x).ψ(y))→ψ(x))→∀z.ψ(z)

ご苦労さまです
それ解説ついているでしょ？（下記）
　>>612より
en.wikipedia.org/wiki/Epsilon-induction
省19

---

633(1): 2024/12/16(月)19:42 ID:jT3NUEYs(7/7) AAS
>>632
>それ解説ついているでしょ？
私に指摘されて初めて英語読んだでしょ？
大学数学で挫折した高卒童貞君

---

635(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/16(月)20:11 ID:24IgbVxn(18/20) AAS
>>633
>>それ解説ついているでしょ？
>私に指摘されて初めて英語読んだでしょ？
>大学数学で挫折した高卒童貞君

いや、チラ見してスルーしてた
　>>632の箇所は
Epsilon-induction に特有ではなく
省5

---

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

---

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

---

ぬこの手 ぬこTOP 0.030s