[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ11 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
955
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/02(木)08:06 ID:Zl89R8aT(1/3) AAS
>>952-954
(引用開始)
>suc(a) := {a} と定義したならば
前者が後者に属すという定義なんだから
>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
となるのはまったく当たり前で、それがなんだと言ってるの? まったく意味不明
(引用終り)

ふっふ、ほっほ

1)”suc(a) := {a} と定義したならば”は、忘れて
 いま、{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ 単独で考えたとき
省29
961: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/02(木)09:54 ID:Zl89R8aT(2/3) AAS
>>956-960
言いたいことは、それだけか?
寝言は聞いた
逝ってよし!!www ;p)
963: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/02(木)19:12 ID:Zl89R8aT(3/3) AAS
>>962
>大事な所だけもう一度言う。
>整列定理からは如何なる具体的整列順序も出ない。よって「整列定理を用いて」は大間違い。

整列定理については、下記 尾畑研究室 東北大
整列可能定理を音読してね

その上で、おれも言っておくが

・整列可能定理は、一階述語論理では選択公理と同値と言われる
・つまり、その本質は 整列可能”公理”である
・そもそも公理は、具体的な色がついていない
・具体的な色がついていないから、いろんな場面で万能に使えるってこと
省30
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.031s