[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

893(1): 2024/12/27(金)16:21 ID:Bd08YN1g(26/31) AAS
forcingで、ZFCの推移モデルを使うのではなく、
ZFCの十分多くの有限個の公理を満たす可算推移モデルを使う
というテクニックを知っているなら
Ωで₍R^N)^100全体ではなくその有限部分集合を考える
というアイデアに目くじらを立てる愚かな真似は全くしなかっただろう

いかなる命題の証明もその前提は有限個の論理式である

---

894(7): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/27(金)17:03 ID:jWDt7nWc(6/6) AAS
>>891
>　なぜ、Xn＝rn｜rn∈R　ではないのかね？
>　なぜ、わざわざ[an,bn]と書いたのかね？

ふっふ、ほっほ
　>>5より再録
(参考)
外部ﾘﾝｸ:www.ma.huji.ac.il
省37

---

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

---

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

---

ぬこの手 ぬこTOP 0.030s