[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ11 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
943(1): 01/01(水)19:34 ID:mZ2ntjQv(25/32) AAS
>>940
>なにか 整列定理を使わないで済ませられるときでも、整列定理は常に適用可能!!
>だって、整列定理の本質は、『公理』なのだからねw ;p)
恐らく選択公理と同値命題と言いたいのだろうが、そのこと自体は正しくても、君の主張はまったく的外れでトンチンカン。
947(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/01(水)20:56 ID:2b7XvZNh(14/16) AAS
ふっふ、ほっほ
順番に行こうか ;p)
>>944-945
∈→∈' と書き換える利点は、ZFCで出来るノイマン宇宙 ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
において
a1∈a2∈a3・・∈an∈an+1∈an+2・・のような列が構成できて
しかし、例えば an not∈ an+2のようなときにでも
常に、a1 ∈' a2 ∈' a3 ・・ ∈ 'an ∈ 'an+1 ∈ 'an+2 ・・
のように、(無限降下列を持たない)整列順序が構成できること
「無限降下列を持たない」は、基礎の公理で 保証されている
省13
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.110s*