対角線論法っておかしくね？ (136ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
77: 01/25(土)23:10 ID:4E4w0gBm(1/2) AAS
ある種の型システムのクラスを組み込んだ集合論は、
内部集合論と整合性がとれるのかどうか。
内部集合は非標準な元を含む。
この場合、たとえば自然数という無限集合にはすべての元を含む有限部分集合が存在するらしい。
78: 01/25(土)23:39 ID:4E4w0gBm(2/2) AAS
と、ここで混乱してきた。
有限という用語が立場によっては無限を含む。
数学の用語はわかりにくい。
だいたい、自然数に非標準の最大（量）であるωを含めた集合は有限集合なのか無限集合なのか。
標準の自然数の集合は無限集合だけど、
非標準の自然数の集合は、要素が無限にあってもωがあるから有限集合のようだ。
ならば非標準な値を含むω進数あるいはアレフ進数がつくれる。
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s