[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
487(7): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/10(月)07:56 ID:fq1QO0q/(1/6) AAS
>>461-464
ふっふ、ほっほ
>{・・{{{}}}・・}_ωは集合？ 集合の場合濃度は？
・{・・{{{}}}・・}_ωの濃度は1と定義する
有限の単元集合たちのω親分として定義する
アレクサンドロフの一点コンパクト化として正当化できる ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96
・{・・{{{}}}・・}_ω が、ZFC内に収るかどうかは知らない
省7
488(1): 02/10(月)08:10 ID:6fwmQoR3(14/75) AAS
>>487
>・{・・{{{}}}・・}_ωの濃度は1と定義する
>・{・・{{{}}}・・}_ω には、左隣＝前者 は、存在しない
はい、矛盾
濃度１なら、要素が１つ存在するから、その唯一の要素が前者とならざるを得ない
前者が存在しないなら、要素がないか、無数にあって最大元が存在しないか、のいずれか
後者がないなら、前者しかないから、空集合、ということになる
省2
550(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/10(月)10:31 ID:S2+qg66P(1/2) AAS
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”)
いや、褒め殺しのつもりだったんだよね、 >>487より
”数の歴史とは、ないなら作ってしまえ、という歴史の積み重ね”>>404
これは、良いことを一つ言ったな。ないなら、集合を一つ作ってしまえ！ だね と
ところが、おサル>>7-10 が スベリまくるから
省20
564(1): 02/10(月)11:58 ID:iAXKqUnd(1/6) AAS
>>487
>{・・{{{}}}・・}_ωの濃度は1と定義する
つまり・・{{{}}}・・が唯一の元ってことね？
で
>一番外側の括弧を外した ・・{{{}}}・・ は、任意有限のカッコ{}の自然数多重度を表す
だそうなので、その唯一の元は{}だったり{{}}だったり{{{}}}だったり・・・ってことね？
それ、元が不定ってことじゃん。それ、{・・{{{}}}・・}_ωが集合ではないってことじゃん。
省1
566: 02/10(月)12:14 ID:iAXKqUnd(2/6) AAS
>>487
>ZFC外であったとしても、集合と定義すれば良い
集合と強弁するためだけにZFCを捨てると？
それは構わないが、君独自の数学だから数学板には書き込まないでね。君の独自数学は数学じゃないし誰も興味無いから。
567: 02/10(月)12:31 ID:iAXKqUnd(3/6) AAS
>>487
>∈{・・{{{}}}・・}_ω には、左隣＝前者 は、存在しない
・・{{{}}}・・が元だと言ってなかった？ なら・・{{{}}}・・が左隣じゃん。はい、自己矛盾。
568: 02/10(月)12:48 ID:iAXKqUnd(4/6) AAS
>>487
> あたかも、ノイマン構成のω=N={0,1,2,・・,n,n+1,・・} に、前者が存在しないのと同じだよｗ ；ｐ）
ωは後続順序数でないから前者が存在しないのは当たり前。
しかしωの元は自然数全体であり、そこが{・・{{{}}}・・}_ωなる訳の分からないものとまったく違う。
571: 02/10(月)14:00 ID:iAXKqUnd(5/6) AAS
>>550
>３）{・・{{{}}}・・}_ω >>487 が、うんたらかんたらの 従来の従来の集合概念と 矛盾するから 集合と認められないｗｗｗ？？
> それ、ガリレオ裁判の裁判長と同じだよ（頭が固い）ｗ ；ｐ）
頭が固いのは集合と強弁してあくまで間違いを認めようとしない君
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s