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

---

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

---

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

---

624(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/16(月)17:54 ID:24IgbVxn(14/20) AAS
>>617
>いかなる集合も、そこから要素を取り出し、
>さらにその要素たる集合から要素を取り出し、
>・・・という行為を繰り返すと
>有限回で空集合に行きつく
>というのが∈-induction
>>618
省32

---

625(1): 2024/12/16(月)18:09 ID:jT3NUEYs(3/7) AAS
>>624
>なんか、君達 大雑把すぎない？その陳述は…
>（コピペ）超限帰納法（英: Transfinite induction）は…
君こそなんで∈-inductionを直接引用しないんだい？
以下の式が理解できないの？
∀x.((∀(y∈x).ψ(y))→ψ(x))→∀z.ψ(z)

---

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

---

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

---

ぬこの手 ぬこTOP 0.029s