1 名前:132人目の素数さん [2025/04/17(木) 23:15:42.72 ID:a3KzsPE4.net] 前スレが1000近く又は1000超えになったので、新スレを立てる https://rio2016.5ch.net/test/read.cgi/math/1741617540/1- 前スレ ガロア第一論文と乗数イデアル他関連資料スレ15 このスレは、ガロア第一論文と乗数イデアル他関連資料スレです 関連は、だいたい何でもありです(現代ガロア理論&乗数イデアル関連他文学論・囲碁将棋まであります) 資料としては、まずはこれ https://sites.google.com/site/galois1811to1832/ ガロアの第一論文を読む 渡部 一己 著 (2018.1.28) PDF https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0 <乗数イデアル関連> ガロア第一論文及びその関連の資料スレ https://rio2016.5ch.net/test/read.cgi/math/1615510393/785 以降ご参照 https://en.wikipedia.org/wiki/Multiplier_ideal Multiplier ideal https://mathoverflow.net/questions/142937/motivation-for-multiplier-ideal-sheaves motivation for multiplier ideal sheaves asked Sep 23, 2013 Koushik <層について> https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6) 層 (数学) https://en.wikipedia.org/wiki/Sheaf_(mathematics) Sheaf (mathematics) https://fr.wikipedia.org/wiki/Faisceau_(math%C3%A9matiques) Faisceau (mathématiques) あと、テンプレ順次 つづく
101 名前:132人目の素数さん mailto:sage [2025/04/23(水) 10:47:57.37 ID:+tPmLqYu.net] >>94 > ツェルメロの自然数は順序数ではない。 正確には「ツェルメロの自然数は二項関係∈に関して順序数ではない」 もちろん、違う二項関係を持ってくれば順序数と同型になる まあ、順序数という場合、二項関係∈でしか考えない、と断定してもよいけどね それ以外は同意 まあ、上記も些細なことでしかないがね
102 名前:132人目の素数さん [2025/04/23(水) 11:44:12.24 ID:46VexLHs.net] >>96 ツェルメロの自然数上の∈はそもそも順序関係でない。 ツェルメロの自然数は整列集合であり順序数ωと順序同型だが順序数ではない。実際{{{}}}はそれより小さい元全体の集合ではない({{{}}}≠{{},{{}}})。 https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 定義 整列集合 (A,<) に対して、A を定義域とする写像 GA,< を超限帰納法によって GA,<(a)={GA,<(x)|x<a} と定義したとき、GA,< の値域 ran(GA,<) を (A,<) の順序数といい、これを ord(A,<) で表す。
103 名前:132人目の素数さん mailto:sage [2025/04/23(水) 11:54:29.88 ID:c7oRQHfy.net] >>97 > ツェルメロの自然数上の∈はそもそも順序関係でない。 然り > ツェルメロの自然数は整列集合であり順序数ωと順序同型だが順序数ではない。 君が示した定義ではそうだな で、それは∈による整列順序になっている、と 私は整列順序であれば順序数だと考えていたが、それは 「いかなる整列順序もそれと順序同型な順序数が存在する」 という結論を先取りしてしまっているんだろう
104 名前:132人目の素数さん mailto:sage [2025/04/23(水) 11:55:44.89 ID:c7oRQHfy.net] >>98 >それは∈による整列順序になっている の「それ」は順序数を指す
105 名前:132人目の素数さん [2025/04/23(水) 13:56:05.16 ID:OCyQxe6Y.net] >>91-97 なんか、急にレベルが落ちたねww ;p) (引用開始) > ツェルメロの自然数は順序数ではない。 正確には「ツェルメロの自然数は二項関係∈に関して順序数ではない」 ツェルメロの自然数上の∈はそもそも順序関係でない。 (引用終り) 1)まず、下記 二項関係”X の各元 x, y, z について、x R y かつ y R z ならば x R z となるとき、関係 R は推移的であるという” を押さえておこうね その上で 順序を論じるときに、下記の『順序集合 (P, ≤) に対し、≤ を台 P 上の順序関係ともいう』とあるように 台 集合Pと 順序 ≤ とのペアで、 (P, ≤) と記すことを 思い出そう 2)順序集合の定義については、下記の ja.wikipediaのように、推移律は必須とする そうすると、いまツェルメロの定義した自然数 {},{{}},{{{}}},{{{{}}}},・・・ >>72 の集合をNzと書くと (Nz,∈)は推移律を満たさないが、これを(Nz,R)と書き直して、Rが推移律を満たす(もっと言えば全順序を満たす)と定義すれば>>32 良いってことだね 3)”ツェルメロの自然数は順序数ではない”は、完全に基数と順序数を取り違えているなww 英文法 one,two,three,・・ が基数で、first,second,third ・・ は序数(=順序数) ”ツェルメロの自然数は基数ではない”なら、意味が通るよね 4)なお、整列可能定理の順序についての google AI による概要回答以下の通りです ;p) 『整列可能定理とは、任意の集合に整列順序を定義できるという定理です。 つまり、どんな集合でも、各要素が順番に並ぶように順序を定めることができるということです。 この順序は任意に定めることができ、選択公理と同値な命題です。』(by "整列可能定理 順序は任意" に対する回答) ツッコミ お願いしますwww ;p) (参考) https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E9%96%A2%E4%BF%82 二項関係 定義 二項関係 R は通常、任意の集合(または類)X, Y とそれらの直積 X × Y の部分集合 G の順序三つ組 (X, Y, G) として定義される。このとき、集合 X および Y はそれぞれこの関係の始集合 (domain) および終集合 (codomain) と呼ばれ、G はこの関係のグラフと呼ばれ、G(R) と表すこともある。 R が関係 (X, Y, G) であるとき、(x, y) ∈ G となることを、「x は y と R-関係を持つ」などといい、x R y や R(x, y) で表す。後者は、対の集合 G の指示函数として R を見ることに対応する。 始集合 X と終集合 Y が同じ場合であっても、対の各要素の順番は重要で、a ≠ b ならば a R b および b R a はそれぞれ独立に真にも偽にもなりうる。 集合上の関係 推移的 (transitive) X の各元 x, y, z について、x R y かつ y R z ならば x R z となるとき、関係 R は推移的であるという。 「先祖である」という関係は推移的である。実際、x が y の先祖で、y が z の先祖ならば、x は z の先祖である つづく
106 名前:132人目の素数さん [2025/04/23(水) 13:56:33.66 ID:OCyQxe6Y.net] つづき https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88 順序集合 定義 まず、二項関係について以下の用語を定める。 ここで P は集合であり、「≤」を P 上で定義された二項関係とする。 ・反射律:P の任意の元 a に対し、a ≤ a が成り立つ。 ・推移律:P の任意の元 a, b, c に対し、a ≤ b かつ b ≤ c ならば a ≤ c が成り立つ。 ・反対称律:P の任意の元 a, b に対し、a ≤ b かつ b ≤ a ならば a = b が成り立つ。 ・全順序律:P の任意の元 a, b に対し、a ≤ b または b ≤ a が成り立つ。 前順序・半順序・全順序 P を集合とし、≤ を P 上で定義された二項関係とする。 ・≤ が反射律と推移律を満たすとき、≤ を P 上の前順序(英語版) (preorder) または擬順序 (quasiorder) という。 ・≤ が前順序でありさらに反対称律を満たすとき、≤ を P 上の半順序 (partial order) という。 ・≤ が半順序でありさらに全順序律を満たすとき、≤ を P 上の全順序 (total order) という。 ≤ が前順序であるとき (P, ≤) を前順序集合という。 同様に ≤ が半順序なら (P, ≤) は半順序集合、全順序なら (P, ≤) は全順序集合であるという。 また集合 P は (P, ≤) の台集合 (underlying set) あるいは台 (support) と呼ばれる。 紛らわしくなければ ≤ を省略し、P を(いずれかの意味で)順序集合という。 順序集合 (P, ≤) に対し、≤ を台 P 上の順序関係ともいう。 https://ja.wikipedia.org/wiki/%E5%9F%BA%E6%95%B0 基数 https://dictionary.goo.ne.jp/word/%E5%BA%8F%E6%95%B0/ 序数(じょすう) とは? goo辞書 物の順序を表す数。順序数 (引用終り) 以上
107 名前:132人目の素数さん mailto:sage [2025/04/23(水) 14:17:48.32 ID:yaKuxqPL.net] >>100 > なんか、急にレベルが落ちたね いいや 君が自分の本来のレベルに気づいただけ > まず、二項関係”X の各元 x, y, z について、x R y かつ y R z ならば x R z となるとき、関係 R は推移的であるという”を押さえておこう 悪いが、そんな初歩的なことはみんな知ってる 君が今、気づいたんだろ? それを認めよう 60過ぎた今、やっと気づいた、と > 順序集合の定義については、推移律は必須とする 悪いが、そんな初歩的なこともみんな知ってる 君が今、気づいたんだろ? それを認めよう 60過ぎた今、やっと気づいた、と > そうすると、いまツェルメロの定義した自然数 {},{{}},{{{}}},{{{{}}}},・・・ >>72 の集合をNzと書くと >(Nz,∈)は推移律を満たさないが、これを(Nz,R)と書き直して、Rが推移律を満たす(もっと言えば全順序を満たす)と定義すれば良いってことだね そういう雑な言い方じゃダメ 1.a∈b⇒aRb 2.aRb & bRc⇒a&c この2つを満たす、という必要がある 君、論理式も満足に書けないの? それじゃ大学数学は無理だよ 一旦、ここで切る
108 名前:132人目の素数さん mailto:sage [2025/04/23(水) 14:20:49.17 ID:c7oRQHfy.net] >>102 誤 2.aRb & bRc⇒a&c 正 2.aRb & bRc⇒aRc さて、 >>100 > ”ツェルメロの自然数は順序数ではない”は、完全に基数と順序数を取り違えているな 🐎🦌 君、日本語の文章も正しく読めないんだな 国語からやり直せよ > ”ツェルメロの自然数は基数ではない”なら、意味が通るよね いいや そんな🐎🦌な読み違えするのは🐒の君だけだよ
109 名前:132人目の素数さん mailto:sage [2025/04/23(水) 14:23:04.82 ID:c7oRQHfy.net] >>100 >なお、整列可能定理の順序についての google AI による概要回答以下の通りです >『整列可能定理とは、任意の集合に整列順序を定義できるという定理です。 > つまり、どんな集合でも、各要素が順番に並ぶように順序を定めることができるということです。 > この順序は任意に定めることができ、選択公理と同値な命題です。』 >ツッコミ お願いします 『』内に誤りはないが、この議論とはまったく無関係 🐒の君は、論理も分からん🐎🦌か
110 名前:132人目の素数さん [2025/04/23(水) 14:28:56.21 ID:46VexLHs.net] >>100 >なんか、急にレベルが落ちたねww ;p) 論外なレベルのおサルがなんか言っとるw >1)まず、下記 二項関係”X の各元 x, y, z について、xRy かつ yRz ならば xRz となるとき、関係 R は推移的であるという” > を押さえておこうね 何を今更w > その上で 順序を論じるときに、下記の『順序集合 (P,≦) に対し、≦を台P上の順序関係ともいう』とあるように > 台 集合Pと 順序≦とのペアで、 (P,≦) と記すことを 思い出そう 何を今更w >2)順序集合の定義については、下記の ja.wikipediaのように、推移律は必須とする 粗雑に過ぎる。 推移律は順序関係が満たすべき要件であって、順序集合のそれではない。 順序集合とはその上の順序関係が定義された集合。
111 名前:132人目の素数さん [2025/04/23(水) 14:29:13.92 ID:46VexLHs.net] > そうすると、いまツェルメロの定義した自然数 {},{{}},{{{}}},{{{{}}}},・・・ >>72 の集合をNzと書くと > (Nz,∈)は推移律を満たさないが、これを(Nz,R)と書き直して、Rが推移律を満たす(もっと言えば全順序を満たす)と定義すれば>>32 良いってことだね (Nz,∈)が推移律を満たさないならそれで終わりで何の関係も無い。何の関係も無いものを書き直すのはバカ。たとえ結果的たまたま上手く行ったとしてもね。 >3)”ツェルメロの自然数は順序数ではない”は、完全に基数と順序数を取り違えているなww > 英文法 one,two,three,・・ が基数で、first,second,third ・・ は序数(=順序数) 順序数という語感から序数を連想したのね? でも数学は連想ゲームじゃないよおサルさん。順序数の定義を確認してから口開きなよ。 > ”ツェルメロの自然数は基数ではない”なら、意味が通るよね 何を言ってんだこのバカ。 >4)なお、整列可能定理の順序についての google AI による概要回答以下の通りです ;p) >『整列可能定理とは、任意の集合に整列順序を定義できるという定理です。 > つまり、どんな集合でも、各要素が順番に並ぶように順序を定めることができるということです。 > この順序は任意に定めることができ、選択公理と同値な命題です。』(by "整列可能定理 順序は任意" に対する回答) > ツッコミ お願いしますwww ;p) じゃ実数の整列順序を一つ示してみて。任意に定めることができるんでしょ?
112 名前:132人目の素数さん [2025/04/23(水) 14:33:49.23 ID:OCyQxe6Y.net] >>93 (引用開始) >”自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる”とある >”{} R {{}} R {{{}}} R {{{{}}}} R ・・・”は、ツェルメロの順序数の構成だから、整列であることは 整列原理の通り そのままでは2行目はアウトね R=∈なら、∈は順序の性質を満たさないから、順序数の構成ができてない R≠∈なら、Rを具体的に定義せねば、順序数の構成ができてない >別に、”(選択公理に同値な)整列可能定理”によるとしてもよい 全然トンチンカン そういう馬鹿文は書かないのが利口 (引用終り) ふっふ、ほっほ 1)>>100 より”整列可能定理の順序についての google AI による概要回答以下の通りです ;p) 『整列可能定理とは、任意の集合に整列順序を定義できるという定理です。 つまり、どんな集合でも、各要素が順番に並ぶように順序を定めることができるということです。 この順序は任意に定めることができ、選択公理と同値な命題です。』(by "整列可能定理 順序は任意" に対する回答)” つまり、(任意の)ある集合について、 ”この順序は任意に定めることができ、選択公理と同値な命題です”よね 2)下記の集合についての記法で おおまかに2通りの方法がある 要素を列記して {1,3,5,7,9} と表記する方法 { x | x は 10 未満の正の奇数 }と表記する方法 、抽象的には 条件 P(x) があったとき、それをみたす対象だけを全て集めた集合を、 {x | P(x)}と表記する 3)つまり、>>92 の”{} R {{}} R {{{}}} R {{{{}}}} R ・・・”は、外延的記法で 順序を列記したと思え!!w ;p) それを、集合論ど素人が 内包表記でないから といって ばかなイチャモンつけているとしか思えない なお、内包表記でなら カッコ{}の多重度を使って {} :{}多重度1→ 順序数0 {{}} :{}多重度2→ 順序数1 {{}}} :{}多重度3→ 順序数2 {{{{}}}}:{}多重度4→ 順序数3 ・ ・ かように、ツェルメロ定義の順序数の各元のカッコ{}の多重度から 順序数への対応がつく この順序数による整列を、ツェルメロの定義の順序数の順序Rの定義としてもいい■ (参考) https://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88 集合 記法 集合の記法には、おおまかに2通りの方法がある。論理的な概念として「内包と外延」というものがある その要素をすべて列挙するという方法と、その集合に含まれるのであれば必ず満たされ、含まれないのであれば必ず満たされない条件を明示するという方法である 「外延」に相当する、すべて列挙する方法では、例えば、1, 3, 5, 7, 9 からなる集合は {1,3,5,7,9} と表記する 「内包」に相当する、属するために満たすべき条件を明示する方法では、例えば、10 未満の正の奇数全体の集合を { x | x は 10 未満の正の奇数 } と表記する。一般に、条件 P(x) があったとき、それをみたす対象だけを全て集めた集合を {x | P(x)} と表記する。ここでは x という変数を用いているが、{ y | P(y)} と書いても { a | P(a)} と書いても構わない。日本語では内包表記などとも言う [] [ここ壊れてます]
114 名前:132人目の素数さん [2025/04/23(水) 14:34:21.44 ID:46VexLHs.net] 選択公理がいかなる選択関数も具体化しないのとまったく同じ理由で整列定理はいかなる整列順序も具体化しない 連想ゲームしかできないおサルに数学は無理なので諦めな
115 名前:132人目の素数さん [2025/04/23(水) 15:29:58.00 ID:46VexLHs.net] >>107 >3)つまり、>>92 の”{} R {{}} R {{{}}} R {{{{}}}} R ・・・”は、外延的記法で 順序を列記したと思え!!w ;p) > それを、集合論ど素人が 内包表記でないから といって ばかなイチャモンつけているとしか思えない 未だに何を指摘されてるかすら分かってないバカ。 > なお、内包表記でなら カッコ{}の多重度を使って > {} :{}多重度1→ 順序数0 > {{}} :{}多重度2→ 順序数1 > {{}}} :{}多重度3→ 順序数2 > {{{{}}}}:{}多重度4→ 順序数3 > ・ > ・ >かように、ツェルメロ定義の順序数の各元のカッコ{}の多重度から 順序数への対応がつく >この順序数による整列を、ツェルメロの定義の順序数の順序Rの定義としてもいい■ だから順序数でないと何度言えば分るのか。人の言う事を聞けないとヒトになれないぞサル。 ZFCでは任意の集合は整列集合であり任意の整列集合は何らかの順序数と順序同型だけどね。 >一般に、条件 P(x) があったとき、それをみたす対象だけを全て集めた集合を{x|P(x)}と表記する。 補足 P(x)は変数xに関する論理式。以下注意が必要。 ・真偽が定まっているが不明な論理式。例えばζ(s)をリーマンゼータ関数とすると {s∈C|ζ(s)=0 ∧ Re(s)≠1/2 ∧ ¬(s∈{-2,-4,・・・})} が空かは不明。 ・真偽が定まらない論理式。例えば {Ω|可算濃度<cardΩ<連続体濃度} が空かはZFCでは定まらない。
116 名前:132人目の素数さん [2025/04/23(水) 16:15:21.62 ID:OCyQxe6Y.net] >>106 >> この順序は任意に定めることができ、選択公理と同値な命題です。』(by "整列可能定理 順序は任意" に対する回答) >> ツッコミ お願いしますwww ;p) >じゃ実数の整列順序を一つ示してみて。任意に定めることができるんでしょ? ふっふ、ほっほ 君は、下記の ” 1904年、ギュラ・ケーニヒ”か? ww ;p) さらに 下記 ”しかし、整列定理を視覚化することは困難、あるいは不可能であると考えられている。 R、すべての実数の集合である。そのような視覚化には選択公理を組み込む必要がある。[ 5 ] (原文:However, it is considered difficult or even impossible to visualize a well-ordering of R, the set of all real numbers; such a visualization would have to incorporate the axiom of choice.[5])” とあるのを 百回音読してねw ;p) 君は、下記の”整列定理を視覚化することは困難、あるいは不可能であると考えられている (However, it is considered difficult or even impossible to visualize a well-ordering of R, the set of all real numbers; such a visualization would have to incorporate the axiom of choice)” を、整列不可能と 勘違いしているね!!ww さて、任意整列について 補足するよ いま実数 Rから (有限の場合も含め)可算集合A を取り出し、残部をR'と書く まず 可算集合Aの元を 可算整列可能定理で 任意に整列させ、その次に 残部をR'に 整列可能定理を使って整列させた元を直列して 実数Rの整列を得る このとき、可算集合Aの選び方が全く任意であり、またその整列のさせ方も任意だ もっと任意にしたければ、残部をR'から 再び 可算集合A'を取り出して 同bカことができる (可算集合Aとしたが、可算に限る必要がないことは自明) あるいは別に 実数Rを 任意二つの部分R1とR2に分けて整列させ、各R1とR2を直列につなぐもよし トランプカードのシャッフルのように R1とR2の元を交互に入れての整列もあり このように 人が いろいろ考え得る方法による任意性は 担保されている ;p) つづく
117 名前:132人目の素数さん [2025/04/23(水) 16:15:39.01 ID:OCyQxe6Y.net] つづき (参考) https://en.wikipedia.org/wiki/Well-ordering_theorem Well-ordering theorem (google訳) 歴史 ゲオルク・カントールは、整列定理を「思考の基本原理」とみなした。[ 4 ] しかし、整列定理を視覚化することは困難、あるいは不可能であると考えられている。 R、すべての実数の集合である。そのような視覚化には選択公理を組み込む必要がある。[ 5 ] (原文:However, it is considered difficult or even impossible to visualize a well-ordering of R, the set of all real numbers; such a visualization would have to incorporate the axiom of choice.[5]) 1904年、ギュラ・ケーニヒは、そのような整列は存在し得ないことを証明したと主張した。数週間後、フェリックス・ハウスドルフは証明に間違いを見つけた。[ 6 ] しかし、第一階述語論理では、整列定理は選択公理と等価であることが判明した。 つまり、選択公理が含まれたツェルメロ–フランケル公理は整列定理を証明するのに十分であり、 逆に、選択公理は含まれないが整列定理が含まれたツェルメロ–フランケル公理は選択公理を証明するのに十分である。 (同じことはゾルンの補題にも当てはまる。) しかし、第二階述語論理では、整列定理は選択公理よりも厳密に強い。 すなわち、整列定理から選択公理を演繹できるが、選択公理から整列定理を演繹することはできない。[ 7 ] (引用終り) 以上
118 名前:132人目の素数さん mailto:sage [2025/04/23(水) 16:24:01.88 ID:yaKuxqPL.net] >>110 >君は、” 1904年、ギュラ・ケーニヒ”か? ジュラな
119 名前:132人目の素数さん [2025/04/23(水) 17:38:40.37 ID:46VexLHs.net] >>110 講釈は不要。実数の整列順序を示せ。 てかそう言ったよな? なんで示さんの?
120 名前:132人目の素数さん [2025/04/23(水) 17:46:18.13 ID:46VexLHs.net] まあ順序数=序数とか言ってるバカに求めても無駄か どうせ整列順序を示せない=整列不可能と誤解してるに決まってるしな 整列定理も盛大に誤解したままだし
121 名前:132人目の素数さん [2025/04/23(水) 19:31:27.08 ID:46VexLHs.net] >>113 どうせおサルさんは答えず逃げるので代わりに答えますね ZFCにおいて実数Rは整列可能だが整列順序は構成不可能 まあおサルさんに言っても猿の耳に念仏かな
122 名前:132人目の素数さん [2025/04/24(木) 08:36:20.92 ID:bHw680Jn.net] 好みの問題
123 名前:132人目の素数さん [2025/04/24(木) 10:18:01.79 ID:Fck+Zdga.net] 失せてくれるのが好み
124 名前:132人目の素数さん [2025/04/24(木) 10:41:11.84 ID:bHw680Jn.net] 言われなくてもわかっているので失せない
125 名前:132人目の素数さん [2025/04/24(木) 11:15:25.09 ID:Fck+Zdga.net] 性格わる
126 名前:132人目の素数さん [2025/04/24(木) 11:22:26.84 ID:x9QxorB0.net] 💩爺は他人に憎まれることでしか他人に認識されない哀しい存在
127 名前:132人目の素数さん [2025/04/24(木) 11:27:21.14 ID:bHw680Jn.net] 他人もいろいろ
128 名前:132人目の素数さん [2025/04/24(木) 16:58:28.90 ID:mLnhCbkC.net] >>109 >>かように、ツェルメロ定義の順序数の各元のカッコ{}の多重度から 順序数への対応がつく >>この順序数による整列を、ツェルメロの定義の順序数の順序Rの定義としてもいい■ >だから順序数でないと何度言えば分るのか。人の言う事を聞けないとヒトになれないぞサル。 >ZFCでは任意の集合は整列集合であり任意の整列集合は何らかの順序数と順序同型だけどね。 ふっふ、ほっほ 現代数学では、デフォは ペアノの公理を満たせば、自然数を名乗っても良いとされる 何故なら ”同型を除いてただ一つに定まる”(下記) また、ふつうの学部以上の数学では 必ずしも ZFCの内部での 数学を やらないのです! 何故なら ZFCは 余白が狭すぎる by フェルマーw ;p) (参考) https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 ペアノの公理 ペアノの公理(英: Peano axioms) とは、自然数の全体を特徴づける公理である。ペアノの公準(英: Peano postulates)あるいはデデキント=ペアノの公理(英: Dedekind-Peano axioms)とも呼ばれる[1][2]。1891年にイタリアの数学者ジュゼッペ・
129 名前:yアノにより定式化された。 ペアノの公理を起点にして、初等算術と整数・有理数・実数・複素数の構成などを実際に展開してみせた古典的な書物に、1930年に出版されたランダウによる『解析学の基礎』(Grundlagen Der Analysis)がある。 回帰定理 次の主張を回帰定理(recursion theorem)という[6]。 略 回帰定理はこのような再帰的に定義される写像の存在と一意性を数学的帰納法の原理により保証する。 範疇性 集合 ℕ^ と定数 0^ と関数 S^ がペアノの公理を満たすとき組 (ℕ^, 0^, S^) をペアノ構造(Peano structure)という。ペアノ構造は同型を除いてただ一つに定まる[注 4]、つまりペアノの公理は範疇的(categorical)であることがわかる。 一方で後述するペアノ算術はレーヴェンハイム=スコーレムの定理から超準モデルをもつので範疇的ではない。 [] [ここ壊れてます]
130 名前:132人目の素数さん [2025/04/24(木) 17:16:53.64 ID:mLnhCbkC.net] >>122 追加参考(下記についての細かいツッコミはなしでお願いしますw。自己解決願いますねw ;p) https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88 整列集合(英: wellordered set)、または整列順序付けられた集合(せいれつじゅんじょづけられたしゅうごう)とは、数学における概念の1つで、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (wellorder) とは、S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。 例と反例 実数からなる集合 正の実数全体の成す集合 R+ に通常の大小関係 ≤ を考えたものは整列順序ではない。 一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。ただし、R 上の定義可能な整列順序の存在は ZFC と(相対的に)無矛盾である。 https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q11259097991 chiebukuro.yahoo とある数学好きさん 2022/3/21 整列集合について、 Wikipediaでは ZFCにおいて実数の集合Rの整列順序を明示的に定義する論理式は存在しないらしいですが、 2のω乗との自然な全単射による順序は整列順序になりますがそれではいけないのですか? ベストアンサー hanoachangさん 2022/3/22 「2のω乗との自然な全単射による順序」 これが何を指しているか明示してください。 具体的には @2^ωは集合としての冪なのか、順序数としての冪なのか。 A2^ωにはどのような順序を入れたのか。 B2^ωと実数の間の全単射はどのようなものか。 の3点です。お願いします。 また、以下に一般的に知られている事実を書きます。確認をお願いします。 ・集合としての2^ωと順序数としての2^ωは、記号は同じですが異なる集合です。 ・集合としての2^ωは連続体濃度を持ち、明示できる整列順序を持ちません。 ・順序数としての2^ωは可算集合で、整列順序が定義されています。 ・集合としての2^ωと実数の間に"自然"と言える全単射は存在しません。
131 名前:132人目の素数さん [2025/04/24(木) 17:20:24.92 ID:mLnhCbkC.net] >>116 >好みの問題 巡回ご苦労様です 私の立てたスレを ご愛顧頂きありがとうございます (^^
132 名前:132人目の素数さん [2025/04/24(木) 17:34:25.40 ID:Fck+Zdga.net] >>122 誰が自然数じゃないと言ったの? 幻聴が聞こえるのかい? 病院行きなよ
133 名前:132人目の素数さん [2025/04/24(木) 17:39:42.03 ID:Fck+Zdga.net] おサルは自然数と順序数の区別も付かないのかい? ダメだこりゃ そういえば順序数=序数とかアホなこと言ってたし全然分かってないんだね 分からないなら口閉じて勉強すればいいのに、どうしてそんなにバカ自慢したがるんだか
134 名前:132人目の素数さん [2025/04/24(木) 18:33:17.88 ID:Xh3M3s+H.net] >>126 >どうしてそんなにバカ自慢したがるんだか 高卒馬鹿だからでしょう 東大でも工学部あたりにはそういう馬鹿が沢山います 彼らは大学に入る価値がなかった 学問が理解できないんだから 工学は所詮技術にすぎず、学問ではありません
135 名前:132人目の素数さん [2025/04/25(金) 06:48:33.22 ID:oZhcyuwo.net] 【閲覧注意】 政治ゴロでコピペ魔>1は数学の線形代数|・|≠0を理解できないトンデモ ↓ 0426 132人目の素数さん 2023/10/29(日) 14:22:15.63 IUTは、ガリレオ天動説です だんだん、理解され受け入れられてきたよ
136 名前:132人目の素数さん mailto:sage [2025/04/25(金) 08:42:49.93 ID:WWElRoA8.net] 1は「逆も真なり」のウソ推論を妄信する 例えば、正方行列なら必ず逆行列が存在する、と放言する 「R^nのベクトルの集合は、その要素の数がnより多ければ、線型従属である」 1は上記の定理の逆も正しいと思い込んで、上記のホラを吹いた 「R^nのベクトルの集合は、その要素の数がn以下なら、線形独立である」 要素の数が1以下ならともかく、2以上の場合、もちろん反例がある 「逆はかならずしも真ならず」というのは高校数学の範囲 1は大学数学どころか高校数学すら正しく理解できていないことは明らか
137 名前:132人目の素数さん mailto:sage [2025/04/25(金) 08:48:16.05 ID:qICT0BoK.net] >>129 正確には逆じゃなく裏だった 定理 「R^nのベクトルの集合は、その要素の数がnより多ければ、線型従属である」 〇 逆 「R^nのベクトルの集合は、線形従属ならば、その要素の数がnより多い」 × 裏 「R^nのベクトルの集合は、その要素の数がn以下なら、線形独立である」 × 対偶 「R^nのベクトルの集合は、線型独立ならば、その要素の数がn以下である」 〇
138 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:08:25.57 ID:V2R7/jm0.net] ある数学の概念は他人が描いたものでわかることとわからないことには差がない。もし自分の数学の議論があってもわざわざそれを自慢したがるやつはいないし自慢するやつはおかしい。社会に役立てるために数学があるのだから。
139 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:09:45.49 ID:V2R7/jm0.net] 揉めるより門戸を開いて数学の有効な人材が増える方が良い。
140 名前:132人目の素数さん [2025/04/25(金) 14:10:43.76 ID:iSKrIvU5.net] >社会に役立てるために数学がある 実は社会は数学の中にある
141 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:10:50.65 ID:V2R7/jm0.net] 人格が優れていない数学者は尊敬されず軽んじられる。
142 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:12:34.01 ID:V2R7/jm0.net] みんなで数学というリソースをうまく共有する社会のほうがレベルが高い。
143 名前:132人目の素数さん [2025/04/25(金) 14:14:41.92 ID:iSKrIvU5.net] みんなが共有できるリソースなど存在しない
144 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:20:25.25 ID:V2R7/jm0.net] 他人のために数学の叡智を使うべきで数学は自己顕示欲を満たすためのものではないはずだ。
145 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:21:27.57 ID:V2R7/jm0.net] それが数学や科学の客観性だと思う。
146 名前:132人目の素数さん [2025/04/25(金) 14:23:00.71 ID:iSKrIvU5.net] >数学は自己顕示欲を満たすためのものではない 発見の喜びに優る満足など考えられない
147 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:23:23.52 ID:V2R7/jm0.net] 落ちこぼれて摘まれた芽が息を吹き返しきれいな花をつけないとは限らない。
148 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:24:25.39 ID:V2R7/jm0.net] その喜びはいいことだと思うよ。
149 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:26:07.23 ID:V2R7/jm0.net] しかし数学自体が自分のものでないから負けじと張り合うことはしょうがない。真理や他人の名誉がある。
150 名前:132人目の素数さん mailto:sage [2025/04/25(金) 14:28:22.74 ID:Ksh2Wx4p.net] >>131 >社会に役立てるために数学がある キモチ悪っ! なんだこの変態! >>133 >実は社会は数学の中にある これはこれで完全に●ってそう >>135 >みんなで数学というリソースをうまく共有する社会 キモチ悪っ! なんだこの変態! >>139 >発見の喜びに優る満足など考えられない これは全く正常な発言 なんだ133はフェイクか
151 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:28:40.76 ID:V2R7/jm0.net] 数学ができないときに陥りやすい心理はどこか似ていてパターンがあるからカウンセリングなどで復帰させよう。連中の悔しがる顔が目に浮かぶ。
152 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:29:47.12 ID:V2R7/jm0.net] まあグロテスクな数理もあるさ。
153 名前:132人目の素数さん mailto:sage [2025/04/25(金) 14:30:23.70 ID:XmtmsXJW.net] ・数学は社会と無関係 ・数学は全くの趣味 これが現実
154 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:31:24.43 ID:V2R7/jm0.net] コレぐらいの数学の議論じゃつまらないから先に進めようよ。
155 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:32:15.07 ID:V2R7/jm0.net] 最先端でも古典でもいいさ。
156 名前:132人目の素数さん mailto:sage [2025/04/25(金) 14:32:36.85 ID:XmtmsXJW.net] >>144 まったくの趣味なので「俺の方ができる」みたいな 子供みたいな言い争いは生じるが 大抵は一か月もすれば馬鹿馬鹿しくなってやめるので ほうっておいていい 何年もわけもわからぬコピペをするヤツは さすがに正真正銘の●違いなので治療が必要 だいたい大学で数学に挫折した元田舎秀才の大馬鹿
157 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:33:16.32 ID:V2R7/jm0.net] たとえは物理化するよりは古典力学の方が良い。
158 名前:132人目の素数さん mailto:sage [2025/04/25(金) 14:33:31.87 ID:XmtmsXJW.net] >>147 君、数学分かるの? 中学で挫折したんじゃない? ムリしなくていいよ 数学分かんなくても生きていけるから
159 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:34:44.17 ID:V2R7/jm0.net] 経済や経営政府予算軍備など数学は実学だ。
160 名前:132人目の素数さん [2025/04/25(金) 14:35:01.82 ID:XmtmsXJW.net] 素人は大体数学と物理の区別がつかずどっちも同じだと思い込んでる 全然違うけどな 物理は現実を対象とするが、数学は完全に想像の産物 数学は自然科学ではなく純然たる人文科学
161 名前:132人目の素数さん [2025/04/25(金) 14:36:02.87 ID:XmtmsXJW.net] >>152 経済学は現実とは全然異なるトンデモだが、 それを差し引いても 数学的にカス 一番は、複素数とか全然出てこないことw
162 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:36:27.63 ID:V2R7/jm0.net] オレは一橋ゼミナールとか代ゼミに行って好きな数学続けてたよ。一番だった。
163 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:37:50.51 ID:V2R7/jm0.net] 公務員試験一番で通ってから言え。
164 名前:132人目の素数さん [2025/04/25(金) 14:37:53.26 ID:XmtmsXJW.net] >>155 高校までの数学は実は算数 そんな幼稚な計算術で一番でも自慢にならない 実際阪大のサルは高校までは数学秀才だったらしい それで大学行ったら見事に劣等生 まあ、そんなのそこらじゅうにいるけどな
165 名前:132人目の素数さん [2025/04/25(金) 14:38:31.75 ID:XmtmsXJW.net] >>156 公務員になるのは人間の屑 ヤクザと同じ
166 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:39:09.94 ID:V2R7/jm0.net] 大学院生の昔の成績教授は大事にしてるさ。
167 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:43:57.09 ID:V2R7/jm0.net] たしかに少しは骨があるみたいだかどこかで落ちこぼれて時間が止まった怨念みたいにスレ主さん以外はなってるな。
168 名前:132人目の素数さん [2025/04/25(金) 14:51:14.42 ID:jhiIMS1A.net] >>160 一番数学に怨念があるのは自称スレ主の1だよ 君、ほんと人を見る目ないね あいつが一番●違いだから ほかはあの馬鹿に数学をおしえてやってんの しかも大学1年レベルの初歩
169 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 14:58:45.25 ID:V2R7/jm0.net] それはスレ主さんが下取りが上手にできてるからだよ教わることと教えることは紙一重。
170 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:00:29.02 ID:V2R7/jm0.net] コンプで性格がその他大勢のようにひねくれていない傷つく純粋だ。
171 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:01:55.66 ID:V2R7/jm0.net] そうだな数学から離れていたから自分は次席でいいよ。しかしこれからはどうかな。
172 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:02:57.20 ID:V2R7/jm0.net] 数学復帰と。
173 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:04:09.34 ID:V2R7/jm0.net] ゲーム理論ジョン・ナッシュとかも超えたさ。
174 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:06:11.62 ID:V2R7/jm0.net] オレはスレ主さんが世界で一番キレイに咲いていくと思うよ。
175 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:07:40.59 ID:V2R7/jm0.net] ちなみにオレは文系では世界首席だ。出会ったのも運命。
176 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:08:32.74 ID:V2R7/jm0.net] まあ誰でもいいけどナンパしてるだけさ。
177 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:09:03.74 ID:V2R7/jm0.net] オレは。
178 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:12:01.62 ID:V2R7/jm0.net] 文学の他に哲学、神話学、経済学、化学、医学などが飛び抜けて得意さ。受賞歴もある。結構学者の中じゃ有名人なんだけどな。
179 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:13:44.60 ID:V2R7/jm0.net] でも俺は数学や理系はまだ異端だと思うな。そういう世界を変えていくために手助けしよう。
180 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:15:12.28 ID:V2R7/jm0.net] 考古学、政治学、経営学とかも今から伸びる分野。
181 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:16:38.80 ID:V2R7/jm0.net] 法学は要衝であるがいくらかは社会学に取って代わられる。
182 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:39:32.55 ID:V2R7/jm0.net] 看護学もハマるのわかるけど栄養学つまり管理栄養士なんかが宗教食との兼ね合いで人気だよな。
183 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:42:00.39 ID:V2R7/jm0.net] 給食から店舗、病院の食事まで理論も実技も大事だし。頭が上がらんさ。
184 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 15:43:30.00 ID:V2R7/jm0.net] 女神神学看護を補完する意味での悪魔崇拝としての社会学とか。
185 名前:132人目の素数さん [2025/04/25(金) 15:54:00.37 ID:iSKrIvU5.net] 魔王崇拝を補間
186 名前:132人目の素数さん [2025/04/25(金) 16:01:06.73 ID:WKh+GaVo.net] ツェルメロの自然数が大好きなおサルへの問題 {},{{}},{{{}}},・・・をツェルメロの自然数と呼ぶ。以下を証明せよ。 1.ZFにおいてツェルメロの自然数全体の集合Nz:={{},{{}},{{{}}},・・・}が存在する。 2.(Nz,(s:Nz→Nz,s(n)={n}),{})はペアノシステムである(ie.ペアノの公理を満たす)。 3.ツェルメロの自然数は順序数でない。 4.Nzは最小の極限順序数ωと順序同型である。 5.Nz上の帰属関係∈は順序関係でない。 6.ZFにおいて集合{{・・・{}・・・}}(無限重括弧)は存在しない。
187 名前:132人目の素数さん [2025/04/25(金) 17:48:32.44 ID:F4nQUPma.net] ホイヨ https://ja.wikipedia.org/wiki/%E3%83%84%E3%82%A7%E3%83%AB%E3%83%A1%E3%83%AD%E9%9B%86%E5%90%88%E8%AB%96 ツェルメロ集合論 標準的な集合論との関連 現代のZFC公理系において、分出公理における「命題関数」とは「パラメータを含む一階の論理式で定義される任意の特徴」として解釈されるため、分出公理は公理図式で置換される。「一階の論理式」という概念はツェルメロが自身の公理系を発表した1908年には知られておらず、ツェルメロは後にこの解釈をあまりにも限定的であるとして拒絶していた。ツェルメロ集合論はふつう、分出公理のそれぞれの一階の論理式を公理図式で置換した、一階理論として捉えられる。ツェルメロ集合論を二階述語論理の理論として捉えることもでき、その場合は分出公理は単に一つの公理となる。ツェルメロ集合論の二階述語論理としての解釈はおそらくツェルメロ自身の考え方に近く、一階述語論理での解釈よりも強い ツェルメロ集合論ではこれらの基数の存在を証明できない(基数と順序数は通常の形の定義では不具合があるため、ツェルメロ集合論においては基数を異なる形で定義する必要がある。というのも、通常の形で定義した場合、順序数 ω·2 の存在さえも証明できない) 無限公理は今日では通常、最初のフォン・ノイマン順序数 ω の存在を主張する形に変えられる。元のツェルメロ公理はこの集合の存在を証明できない。変更版のツェルメロ公理はツェルメロの無限公理を証明できない ツェルメロの公理(元あるいは変更版)は、集合としてのVω の存在や、添字が無限である任意のランクの累積的階層集合の存在を証明できない ツェルメロは、集合ではなく要素を持たないアトム(urelement)の存在を許容した。アトムは集合論では通常取り除かれる マックレーン集合論 Mac Lane (1986) で導入されたマックレーン集合論は、分出公理を各量化子が有界である一階の論理式に制限したツェルメロ集合論である。 マックレーン集合論は強さとして自然数対象(英語版)のトポス理論や、プリンキピア・マテマティカのシステムに類似する。これは、集合論や論理学に直接関係しない、ほぼすべての通常の数学を行えるほどの強さである ツェルメロの論文の目的 非構成主義者による無矛盾性の主張は以下のとおりである。以下のように、順序数 0, 1, 2, ...,ω, ω+1, ω+2,..., ω·2 の1つである α に対して Vα を定義する: ・V0 は空集合である ・β+1 という形の後続順序数である α に対して、Vα を Vβ のすべての部分集合の集まりとして定義する ・極限順序数 α(例えば ω, ω·2)に対して、Vα を β<α に対する Vβ の和集合と定義する すると、ツェルメロ集合論の公理は無矛盾になる。これらの公理はモデル Vω·2 の中で真であるためである。非構成主義者はこれを有効な主張であるとみなすかもしれないが、構成主義者はそうでないと考えるだろう この主張は、ツェルメロ集合論に1つ新たに(単に Vω·2 が存在するという)無限公理を加えることで、有効な証明になる。これは構成主義者に対して説得力がないかもしれないが、ツェルメロ集合論の無矛盾性を元のツェルメロの理論から大きく違わず、少し強力な理論で証明できることを示している https://en.wikipedia.org/wiki/Zermelo_set_theory Zermelo set theory
188 名前:132人目の素数さん [2025/04/25(金) 18:00:09.07 ID:WKh+GaVo.net] >>180 解答の体すら成してないので採点に値せず ゼロ点で落第
189 名前:132人目の素数さん [2025/04/25(金) 18:03:52.51 ID:iSKrIvU5.net] 採点に値しないのなら 再提出を求めたらどうか
190 名前:132人目の素数さん [2025/04/25(金) 18:09:21.56 ID:MSvIBwNF.net] >>182 再提出したけりゃすればいいが 自分の文章が書けず、他人の文章をコピペする 脳みそスッカラカンのカンニング野郎が ○をもらうことは決してないな
191 名前:132人目の素数さん [2025/04/25(金) 18:50:20.34 ID:WKh+GaVo.net] 逆 採点して欲しいなら再提出の許可を乞うのが筋
192 名前:132人目の素数さん [2025/04/25(金) 18:53:19.57 ID:iSKrIvU5.net] 誰が採点欲しいと言った? ありがた迷惑の意味を書いて再提出だ
193 名前:132人目の素数さん [2025/04/25(金) 19:01:48.53 ID:WKh+GaVo.net] 採点して欲しくないならゼロ点で落第が確定するだけ
194 名前:132人目の素数さん [2025/04/25(金) 19:05:08.41 ID:iSKrIvU5.net] それほどまでに採点がしたい理由は?
195 名前:132人目の素数さん [2025/04/25(金) 19:19:27.56 ID:WKh+GaVo.net] 誰が採点したいと言った? 幻聴が聞こえるなら病院行け
196 名前:132人目の素数さん [2025/04/25(金) 19:32:10.06 ID:iSKrIvU5.net] 採点したくなければ採点するな
197 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 19:48:54.57 ID:V2R7/jm0.net] 幻聴は聞くだけ、幻声は相互のコミュニケーションが他人格とできる。幻視絵を書いたりもできる、あと幻触幻臭幻味とある。幻覚は病気のようで幻術幻魔などの言葉もあるとおり文化圏や境界によって捉え方が違う。
198 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 19:49:50.11 ID:V2R7/jm0.net] 色んな分野を知り体験することが大事。
199 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 19:52:49.99 ID:V2R7/jm0.net] 薬によって弱まる場合は薬を変えてもらうか減薬してもらいなさい。せっかくの精神異常体験だものね。
200 名前:132人目の素数さん [2025/04/25(金) 19:54:56.89 ID:WKh+GaVo.net] だから採点に値しないからゼロ点で落第と言ってるだろ 日本語わからんか?
201 名前:死狂幻調教大師S.A.D.@月と六ベンツ [2025/04/25(金) 19:56:16.04 ID:V2R7/jm0.net] そのほうが精神能力のようなものが伸びるだろうな。