[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
434(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/09(日)20:08 ID:lz6oAIdr(9/12) AAS
>>427
(引用開始)
{・・{{{}}}・・}_ωが集合であると仮定すると、その元は一番外側の括弧を外したもの。
しかしωは後続順序数ではないのでその前者は存在しない。よって一番外側の括弧を外すことができない。
集合なのに一番外側の括弧を外すことができないのは矛盾だから、集合であるとした仮定が誤り。
つまり
>しかし だから、lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！
は、ある不明なものを別の不明なもので定義しただけであり、結局何の定義にもなっていない。
(引用終り)
良いんじゃね？ それで
省24
435: 02/09(日)20:15 ID:KVhWlXEd(21/26) AAS
>>434
>>>lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！
>>は、ある不明なものを別の不明なもので定義しただけであり、
>>結局何の定義にもなっていない。
>良いんじゃね？ それで
だめだろ それじゃ
定義とは何かも知らぬエテ公は山に帰れ
436: 02/09(日)20:18 ID:KVhWlXEd(22/26) AAS
>>434
> ゲーデルの不完全性定理の示すところ、
> ZFCで否定も肯定もできない命題が存在するよね
> だから、
> ”lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！”
> はあり
だからの前後が繋がんねえよバカ
論理が判らぬエテ公は山に帰れ
二度とゲーデルの名前を口にするんじゃねえ
焼いて食っちまうぞ
437: 02/09(日)20:21 ID:KVhWlXEd(23/26) AAS
>>434
> そもそもが、無限公理についても デデキントは
> ”無限集合の存在”が 証明できると考えていたのです
> しかし、”無限集合の存在”は、他の公理から証明することができないとわかって
> ”無限集合の存在”の公理を置いた（いわゆる無限公理）
だから何？
正則性公理と矛盾する定義をする馬鹿はいねえよ
六甲山のエテ公の貴様以外にはな！
438: 02/09(日)20:26 ID:KVhWlXEd(24/26) AAS
>>434
> 「無限とはなんぞや？」 だが、
> ”無限”を言葉で書くとまずい
> 言葉で書くと、その書いたことばをまた定義しなければならない・・
> と 無限に後退してしまう
> だから、”無限集合”を公理としておいた
> だったら、それに準じて 必要ならば
> ”lim n → ω ω := {・・{{{}}}・・}_ω と定義してしまえ！”
> は、ありだろ？
> それが、従来の集合と異なる？ それがどうした？
省5
440: 02/09(日)21:13 ID:erxXzwp/(5/23) AAS
>>434
>それが、従来の集合と異なる？ それがどうした？
ZFになぜ正則性公理が存在しているか考えたことも無いおサルさんが、正則性公理違反？上等だ！と、開き直っちゃったとさ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s