対角線論法っておかしくね？ (136ﾚｽ)

対角線論法っておかしくね？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

77: １３２人目の素数さん [] 2025/01/25(土) 23:10:59.91 ID:4E4w0gBm ある種の型システムのクラスを組み込んだ集合論は、 内部集合論と整合性がとれるのかどうか。 内部集合は非標準な元を含む。 この場合、たとえば自然数という無限集合にはすべての元を含む有限部分集合が存在するらしい。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/77

78: １３２人目の素数さん [] 2025/01/25(土) 23:39:09.13 ID:4E4w0gBm と、ここで混乱してきた。 有限という用語が立場によっては無限を含む。 数学の用語はわかりにくい。 だいたい、自然数に非標準の最大（量）であるωを含めた集合は有限集合なのか無限集合なのか。 標準の自然数の集合は無限集合だけど、 非標準の自然数の集合は、要素が無限にあってもωがあるから有限集合のようだ。 ならば非標準な値を含むω進数あるいはアレフ進数がつくれる。 そうなってくるとアレフは絶対的ではなく相対的な階層となるだろう。半端なアレフだって構成可能になる。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/78

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.534s*