[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (802ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(2): 2019/10/05(土)09:57 ID:JrhjRl4x(1/46) AAS
関連スレ
１）現代数学はインチキのデパート
2chｽﾚ:math
直接には、ここの28からの続き
２） １）の前スレ
現代数学はインチキだらけ
2chｽﾚ:math
省3
722(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)07:47 ID:s6Tab8iq(2/15) AAS
>>713
文字化けを直して、再引用しよう
外部ﾘﾝｸ[html]:web.mat.bham.ac.uk
Foundation and epsilon-induction
(抜粋)
1. Introduction
Either by examining the sets created in the first few levels of the cumulative hierarchy or from other means, via considering the idea of constructions of sets perhaps, we conclude that we do not expect sets to have infinite descending sequences
省11
723(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)07:55 ID:s6Tab8iq(3/15) AAS
>>722
＜Google翻訳＞（少し手直し）
基礎とイプシロン帰納
（抜粋）
1.はじめに
累積hierarchyの最初のいくつかのレベルで作成された集合を調べることによって、または他の手段から、おそらく集合の構築のアイデアを検討することにより、集合が無限の降順シーケンスを持つことを期待しないと結論付けます
x0∋x1∋x2∋x3∋x4∋…
省10
724(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:03 ID:s6Tab8iq(4/15) AAS
>>723
>累積hierarchyの最初のいくつかのレベルで作成された集合を調べることによって、または他の手段から、おそらく集合の構築のアイデアを検討することにより、集合が無限の降順シーケンスを持つことを期待しないと結論付けます
>x0∋x1∋x2∋x3∋x4∋…
>少なくとも、構築された集合の累積hierarchy内の集合については。
言いたいことは、単純で
無限の降順シーケンス
x0∋x1∋x2∋x3∋x4∋…
省11
725(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:13 ID:s6Tab8iq(5/15) AAS
>>724 つづき
<ノイマン構成>
0 := {}, suc(a) :=a∪{a} と定義する
0 を含み後者関数について閉じている集合のひとつを M とする。
自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。
無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。
このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
省13
726: 2019/12/14(土)08:22 ID:CsbquFhS(1/18) AAS
>>724
>降順はダメで、上昇はOK
なぜだかわかるかい？
上昇列のどの項から下降しても有限ステップで{}に至るからだよ
つまり上昇列には無限重の{…}は現れない
これ豆な
727: 2019/12/14(土)08:29 ID:CsbquFhS(2/18) AAS
>>725
ノイマン構成のωはいかなる集合ａのａ∪｛ａ｝にもならないし
ツェルメロ構成のΩはいかなる集合ａの｛ａ｝にもならない
つまりどちらも次者関数でつくられるものではない
Ωが全ての有限重{…}より大きく、
Ωから{}への降下列が有限長である
ようにするには、Ωが全ての有限重{…}を
省1
728(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:37 ID:s6Tab8iq(6/15) AAS
>>725 つづき
<ノイマン構成>にしろ、<Zermelo構成>にしろ
0,1,2,3,・・・たちを集合として見たら
上昇列：0∈1∈2∈3∈4∈…
が構成される
これは、可算無限長の上昇列
で、<ノイマン構成>と<Zermelo構成>とは、一対一対応がつくのです
省16
729(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:50 ID:s6Tab8iq(7/15) AAS
>>728 補足
ノイマン構成で、下記のカントールの順序数が構成できる
具体的には、ノイマン構成で順序数ωが構成できる
（当たり前だが）
ノイマン構成とZermelo構成とは、その構成法から、一対一対応がつく
（∵ 後者関数が少し違うだけなので、順序列としては当然同型になる（∈列として同型））
よって、Zermelo構成で順序数ωが構成できる
省12
730: 2019/12/14(土)09:03 ID:CsbquFhS(3/18) AAS
>>720
＞…が不成立だとか、
成立するね
無限列に最後尾の項が存在しないから
731(1): 2019/12/14(土)09:14 ID:CsbquFhS(4/18) AAS
>>729
＞無限集合の公理によりできる集合 M には、自然数Nに余分な（過剰）要素が存在する
「存在する」と言い切った瞬間、トンデモになる
無限集合の公理を満たすいかなる集合にも存在する「過剰」要素があるなら
共通部分をとったところで排除できないから
つまり、「過剰」要素を全くもたないものがある
＞過剰要素は、有限の要素ではありえない
省15
732: 2019/12/14(土)09:19 ID:CsbquFhS(5/18) AAS
>>729
＞Zermelo構成で順序数ωが構成できる
然り
＞順序数ωを簡便に表現すれば、例えば {{…}} ってことです
否
＞（この簡便化した表現をいくら攻撃しても、
＞ Zermelo構成の順序数ωの存在は否定できないよ）
省2
733: 2019/12/14(土)09:21 ID:CsbquFhS(6/18) AAS
無限＝超準的な有限、というのは全くの誤解である
なぜなら超準的な自然数には前者が存在するが
例えば最初の超限順序数ωには前者が存在しない
734: 2019/12/14(土)09:40 ID:CsbquFhS(7/18) AAS
>>731
例えばノイマン型の無限公理を満たす集合の要素に
{{{}}}が入っていてもかまわない
ただその場合
{{{}}}∪{{{{}}}}＝{{{}},{{{}}}}
も要素として入っている必要はある
「過剰」要素とはそういう程度の他愛ない話
735(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)10:04 ID:s6Tab8iq(8/15) AAS
おサル、必死の言い繕い
墓穴を大きくするおサルｗ（＾＾；
736: 2019/12/14(土)10:11 ID:CsbquFhS(8/18) AAS
>>735
縁なき衆生は度し難し
737: 2019/12/14(土)10:56 ID:CsbquFhS(9/18) AAS
2chｽﾚ:math
◆e.a0E5TtKE君は、まず∞がZの元でないことを理解したほうがいいな
ついでにいうと、ｆ（ｚ）＝ｚ＋１で、ｚ＝∞は不動点
738: 2019/12/14(土)14:58 ID:4Uy77aKd(1/2) AAS
>>729
>順序数ωを簡便に表現すれば、例えば {{…}} ってことです
{{…}} が正則性公理に反することすら理解できないアホに数学は無理
739(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)15:14 ID:s6Tab8iq(9/15) AAS
（＾＾；
「∈列 有限長」ｗｗ
おサル＝ID:uZFmzNJe は、恥かき
”「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから”ｗｗ
(>>636より)
Inter-universal geometry と ABC予想 42
省24
740(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)15:31 ID:s6Tab8iq(10/15) AAS
>>739
＞”「集合のいかなる∈列も有限長で終わる」
じゃ、>>728の
<ノイマン構成>
0,1,2,3,・・・たちを集合として見て
可算無限長の上昇列
0∈1∈2∈3∈4∈…
省3
741: 2019/12/14(土)16:03 ID:4Uy77aKd(2/2) AAS
誰も上昇列が有限でなきゃならないなんて言ってないがなｗ
しかし{{…}}は∈無限降下列ができるから正則性公理違反
バカはいまだに分からないようだが
742: 2019/12/14(土)16:49 ID:CsbquFhS(10/18) AAS
>>739
「∈列といえば∈降下列だ」と分からない白痴には困ったもんだ
743(2): 2019/12/14(土)16:55 ID:CsbquFhS(11/18) AAS
>>740
＞0∈1∈2∈3∈4∈…
＞当然この列は、ωを超えて延長可能
白痴が何も考えずに漫然と嘘書き流してるね
ωがいつどうやって出てくる、と思ってるのかな
「ω-1∈ω」という形で現れると思ってるなら大馬鹿野郎ｗ
ω-1なんて存在しないから
省10
744(1): 2019/12/14(土)17:10 ID:CsbquFhS(12/18) AAS
◆e.a0E5TtKEがいまだに全く理解できていない基本的概念ｗ
外部ﾘﾝｸ:ja.wikipedia.org
「極限順序数（きょくげんじゅんじょすう、英: limit ordinal）は
0でも後続順序数でもない順序数を言う。」
後続順序数でない＝前者が存在しない、ということ
0も前者が存在しないが、
0は始まりとして定義されているので
省15
745: 2019/12/14(土)17:45 ID:CsbquFhS(13/18) AAS
2chｽﾚ:math
◆e.a0E5TtKEって・・・横辺君だったんだな（ ＾ω＾）
746: 2019/12/14(土)17:58 ID:CsbquFhS(14/18) AAS
今日の動画
動画ﾘﾝｸ[YouTube]
一番好きだとみんなに言っていた
定理のステートメントを全然思い出せないのは
本当はそんな好きじゃないから（ ＾ω＾）
747(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)21:58 ID:s6Tab8iq(11/15) AAS
>>743
>ωから降下していく場合、いきなり何かある自然数ｎに降下するから
おサルの墓穴は、笑えるわｗ
下記の
”定義 2.2
（ X, =< ）を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)
省30
748(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)22:07 ID:s6Tab8iq(12/15) AAS
>>747 補足
”定義 2.2
（ X, =< ）を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)”
は、列の長さを言っているんだろ？（＾＾
勝手に、
（>>743）
省8
749: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)22:09 ID:s6Tab8iq(13/15) AAS
>>748 タイポ訂正
列 ・・・<an <an-1 <・・・ で
例えば、an-1 <・・・ を飛ばすのか？
↓
列 ・・・<an <an+1 <・・・ で
例えば、an+1 <・・・ を飛ばすのか？
おサルを笑っていたら
省1
750: 2019/12/14(土)22:14 ID:CsbquFhS(15/18) AAS
＞＞ωから降下していく場合、いきなり何かある自然数ｎに降下するから
＞ってさ、勝手に途中の要素いくつか
＞列 ・・・<an <an-1 <・・・ で
＞例えば、an-1 <・・・ を飛ばすのか？
ああ その通りだよ
飛ばしたらいけない！なんてどこに書いてある？
お前が勝手に幻聴を聴いたんだろう（嘲） この●違い野郎
省1
751: 2019/12/14(土)22:16 ID:CsbquFhS(16/18) AAS
ゴキブリ◆e.a0E5TtKEは
降下列すら正しく理解できない
正真正銘の白痴野郎ｗｗｗｗｗｗｗ
752(1): 2019/12/14(土)22:20 ID:CsbquFhS(17/18) AAS
>>748
＞例えば、an+1 <・・・ を飛ばすのか？
＞それが許されるなら
＞無限列は常に有限列になるぞｗ
ああ、その通りだよ
いかなる超限順序数からの降下列も有限列
これが超限帰納法
省1
753: 2019/12/14(土)22:25 ID:CsbquFhS(18/18) AAS
ゴキブリ◆e.a0E5TtKEは
定義を読まずに自分勝手にデッチ上げるから
初歩で必ずみっともない間違いをしでかす
馬鹿も馬鹿 大馬鹿野郎ｗｗｗｗｗｗｗ
754: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)23:25 ID:s6Tab8iq(14/15) AAS
>>747 補足
”定義 2.2
（ X, =< ）を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)
が存在しないとき、（ X, =< ）を整列順序という。
別の言い方をすれば、整列順序とは空でないどんな部分集合 Y ⊆ X も最小元を持つよう
な全順序のことである。”
省15
755: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)23:30 ID:s6Tab8iq(15/15) AAS
>>752
「いかなる超限順序数からの降下列も有限列
これが超限帰納法」
おサル
哀れななんとかさんと、良い勝負だな、おまえｗ（＾＾
756: 2019/12/15(日)00:33 ID:shQE/MNw(1/4) AAS
分かってなさ過ぎ
757: 2019/12/15(日)00:50 ID:WYNNIsFE(1/12) AAS
∩∩ ∧ ∧
(・×・) (×∀×)
(∋○∈)◌ (⊃⊂)
758: 2019/12/15(日)00:52 ID:WYNNIsFE(2/12) AAS
∧ ∧
(>×<)∩
(・・)
∪)ω∪
759: 2019/12/15(日)00:55 ID:WYNNIsFE(3/12) AAS
∧ ∧
(・×・)
∪・・∪
( × )
∪ω∪
760: 2019/12/15(日)00:57 ID:WYNNIsFE(4/12) AAS
AA省
761: 2019/12/15(日)01:00 ID:WYNNIsFE(5/12) AAS
『鬼才』と『キチガイ』
○ ○ ○
うん、似てる！
762: 2019/12/15(日)01:01 ID:1xZAPqJd(1/2) AAS
そもそも
X={…{∅}…}
なんて集合を考えたら
F(X)={Y|∃x1∈ x2∈ x3∈‥xn Y=x1, X=xn}
とおくときF(X)には単元集合(singleton)しか許してもらえないんでは？
表記的に？
どこまで行っても単元集合しか出てこないとしか解釈できない希ガス。
省5
763(1): 2019/12/15(日)01:04 ID:WYNNIsFE(6/12) AAS
>>744
やっぱり！
０
なんかこの世界に無いんでしょ❗
∞
↑
こいつも存在しないんだよね♪
764(1): 2019/12/15(日)01:07 ID:WYNNIsFE(7/12) AAS
AA省
765: 2019/12/15(日)01:08 ID:WYNNIsFE(8/12) AAS
AA省
766: 2019/12/15(日)01:09 ID:WYNNIsFE(9/12) AAS
キティも時々呟くスレ。。。
767: 2019/12/15(日)01:12 ID:WYNNIsFE(10/12) AAS
∧∧
(・×・)∩)) Ψナラ〜♪
768: 2019/12/15(日)01:27 ID:WYNNIsFE(11/12) AAS
マッスーずがタヒんじゃったよ〰！💧
769(1): 2019/12/15(日)01:28 ID:WYNNIsFE(12/12) AAS
AA省
770: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)07:39 ID:BvQtIPz4(1/5) AAS
>>769
ありがとう
ご苦労さま
771: 2019/12/15(日)08:30 ID:PRdnkv5o(1/16) AAS
S(x)={x}でいえるのは
”後続順序数がシングルトン”
というだけだね
0={}は空集合だからシングルトンじゃない
そしてωも
772: 2019/12/15(日)08:31 ID:PRdnkv5o(2/16) AAS
◆e.a0E5TtKE の誤り
「0以外の順序数は全部後続順序数だと思ってた」
馬鹿だねぇ…（「男はつらいよ」のおいちゃん風）
773: 2019/12/15(日)08:34 ID:PRdnkv5o(3/16) AAS
2chｽﾚ:math
>欠点を見ないように、長所を見るように
◆e.a0E5TtKEは数学的には長所ゼロだから見るとこないな（バッサリ）
774: 2019/12/15(日)08:51 ID:PRdnkv5o(4/16) AAS
0 {} 濃度0
1 {{}} 濃度1
2 {{{}}} 濃度1
…
ω {{},{{}},{{{}}},…} 濃度aleph0
ω＋１ {ω} 濃度1
ω＋２ {ω＋１} 濃度１
省1
775(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)09:08 ID:BvQtIPz4(2/5) AAS
>>763-764
＞限り無く∞に近いが決して∞では無い 有限数
いいね。その考えは、
コンパクト化という考えだね
1)数学セミナー 2019年12月号に記事がある
2)拡張実数を考え、∞を導入すると、実数をコンパクト化できる
3)1/∞＝0と定めることができる
省25
776: 2019/12/15(日)09:27 ID:PRdnkv5o(5/16) AAS
>>775
＞7)ノイマンの自然数構成で、ωが構成できた
次者関数S(x)=x∪{x}だけではできないよ
無限公理
{}∈ω∧(x∈ω⇒x∪{x}∈ω)
を認めることではじめて構成できる
＞8)この無限長の列は、当然正則性公理には反しない
省13
777: 2019/12/15(日)10:33 ID:pulS0MYz(1/6) AAS
>>775
ω→∞→１/∞≒ほぼ０＝特異点。。。？
結局やっぱり ω≒∞ キャン玉なんですね♪
心のキャン玉は∞！！！
778: 2019/12/15(日)10:36 ID:pulS0MYz(2/6) AAS
ヤればデキる！Ｃａｎ玉！！
進化し続けるω∞！！！
779(1): 2019/12/15(日)10:38 ID:pulS0MYz(3/6) AAS
知らない１/∞を教えて頂いて嬉しくて、つい、大興奮してしまいました。。。
ありがとうございました。。。
780: 2019/12/15(日)10:43 ID:pulS0MYz(4/6) AAS
AA省
781: 2019/12/15(日)10:47 ID:pulS0MYz(5/6) AAS
僕がクイズ 君がマッスー
クイズの旅人
Ｖｉｖａ Ｌａ マティマティカーズ
782: 2019/12/15(日)10:48 ID:pulS0MYz(6/6) AAS
Ψナラ。。。
783(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)11:03 ID:BvQtIPz4(3/5) AAS
>>775 補足
(>>725より)
<ノイマン構成>
0 := {}, suc(a) :=a∪{a} と定義する
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
省31
784(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)11:10 ID:BvQtIPz4(4/5) AAS
>>779
どうも、レスありがとう
＞知らない１/∞を教えて頂いて嬉しくて、つい、大興奮してしまいました。。。
うん、高校では、「∞は数じゃない」とかいうんだよね。教育的観点から
１/∞＝0 は、可なんだけど
１/0 ＝∞ は、不可なんだ
で、大学入試対策上、
省4
785: [sage ] 2019/12/15(日)11:27 ID:sLZ5XGlu(1/2) AAS
>>784
ニクイ０のインチキですよ
トリッキーな奴です。。。
数学の信頼性をぐらつかせましたよ。。。
０とか∞とか、インチキ過ぎて。。。
はじめからカチッと教えて欲しかったですよね
公立小でちゃんととことん基礎的な理解を培っておかないと。。。
省1
786: 2019/12/15(日)11:29 ID:sLZ5XGlu(2/2) AAS
教えてくれてありがとう
787(1): 2019/12/15(日)13:19 ID:shQE/MNw(2/4) AAS
>>783
><Zermelo構成>の場合、ωは最小の可算無限シングルトンになる
アウト〜
{{…}}は正則性公理に反するので集合ですらない
そもそもωがシングルトンでなければならない道理がまるで無い
バカの妄想に過ぎない
788(1): 2019/12/15(日)13:31 ID:shQE/MNw(3/4) AAS
バカは正則性公理だけじゃなく無限公理も分かってないね
無限公理無しで無限集合が構成できると思ってる
だったら無限公理なんて要らんって話じゃん バカ過ぎｗ
789(1): 2019/12/15(日)13:32 ID:shQE/MNw(4/4) AAS
そういえばバカは選択公理も分かってなかったなｗ
結局何一つ分かってないｗ
バカに数学は無理ｗ
790: 2019/12/15(日)14:42 ID:PRdnkv5o(6/16) AAS
>>787
>><Zermelo構成>の場合、ωは最小の可算無限シングルトンになる
>アウト〜
>そもそもωがシングルトンでなければならない道理がまるで無い
その通り
S(x)={x}とすれば、後続順序数の場合、シングルトンになる
し・か・し、ωは後続順序数ではない
省3
791: 2019/12/15(日)14:47 ID:PRdnkv5o(7/16) AAS
>>784
＞１/∞＝0 は、可なんだけど
アウトｗ
そもそも∞が数じゃないから、1/∞は不可ｗ
リーマン球面上の写像1/zとしては
1/∞=0 で 1/0＝∞ である
しかし、リーマン球面上の点＝数 ではない
省3
792: 2019/12/15(日)14:55 ID:PRdnkv5o(8/16) AAS
>>788-789
◆e.a0E5TtKEは集合論の公理はもとより、
実数の公理すら分かってないだろうな
大学１年４月の解析学の最初の講義で
落ちこぼれた可能性大
デデキントは、実数ｒを有理数全体のデデキント切断として定義した
有理数のデデキント切断全体に対して
省5
793: 2019/12/15(日)15:17 ID:PRdnkv5o(9/16) AAS
◆e.a0E5TtKEは「定義から考える」という基本が全然できてない
だから「降下列」といわれても全然理解できず、
漫然と「順序数全体の順序の列」を想像したりする
両者は全然異なる
だから「０からωにいたる順序数全体の列は無限列だ！」と
いくら絶叫しても無意味
ωから降りるとき、ωより小さいある順序数を決めなければならない
省7
794(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)15:20 ID:BvQtIPz4(5/5) AAS
>>783 補足
(>>420より)
<Zermelo構成>
外部ﾘﾝｸ:ja.wikipedia.org
自然数
(抜粋)
形式的な定義
省23
795: 2019/12/15(日)15:26 ID:PRdnkv5o(10/16) AAS
>>794
＞シングルトンの(可算無限長の)上昇列は、正則性公理には反しない
上記の上昇列に自然数以外の順序数は一切現れない
＞だから、ωに相当するシングルトンの存在は、正則性公理には反しない
「だから」以降は云えない
まず、ωは自然数ではない
自然数の後続順序数は自然数である
省8
796: 2019/12/15(日)15:37 ID:PRdnkv5o(11/16) AAS
＞ωに相当するシングルトンの存在を否定したければ、
＞別の理論を持ってこい ｗ！！ｗ
＞（そんな理論はありませんｗｗ）
ωがシングルトンだと主張したければ
ωが後続順序数であること、すなわち
｛ｘ｝＝ωとなるｘを持ってこいｗ！！ｗ
（そんな順序数はありませんｗｗ）
797: 2019/12/15(日)15:40 ID:PRdnkv5o(12/16) AAS
◆e.a0E5TtKE の トンデモ集合論ｗｗｗ
１）{}∈{{}} {{}}∈{{{}}} だから {}∈{{{}}}
２）ω＝{x}となるｘが存在する
あと一つトンデモ発言したらトンデモ殿堂入りｗｗｗｗｗｗｗ
798: 2019/12/15(日)16:16 ID:PRdnkv5o(13/16) AAS
◆e.a0E5TtKEが愚かにも
「ωは超準自然数！」
とかほざきそうなので
先にいっとくけど
ωは超準自然数ではありません（キッパリ）
したがってω−１はありません！！！
799(2): 2019/12/15(日)17:17 ID:1xZAPqJd(2/2) AAS
そもそも "反しない" などという言葉を軽々と使える時点で数学の一丁目一番地がわかってない。
反する事の証明を与えることはできても反しない事の証明は一般にできる場合でも容易ではない。
一般にはモデル構成すればいいんだけど。
しかし今回はそもそも反してるし反してる事の証明も与えられてるのにまだこんなこと言ってる。
800: 2019/12/15(日)17:21 ID:PRdnkv5o(14/16) AAS
>>799
そもそも◆e.a0E5TtKEの主張
「Zermeloのωはシングルトン！」は
「ωが極限順序数であって後続順序数ではない」
という定義に反してる時点でトンデモ
801: 2019/12/15(日)17:28 ID:PRdnkv5o(15/16) AAS
>>799
＞（◆e.a0E5TtKE）数学の一丁目一番地がわかってない。
しょうがないよ
あいつは数学番外地の住人だから
番外地
外部ﾘﾝｸ:ja.wikipedia.org
「番外地（ばんがいち）とは日本の住所の表記のひとつであり、
省23
802: 2019/12/15(日)17:29 ID:PRdnkv5o(16/16) AAS
Gスレは今後「数学板の番外地スレ」と呼んだほうがいいな
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.238s*