[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 63 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
787(3): 2022/01/05(水)00:19 ID:KQN0RShS(1/5) AAS
>>755
>じゃコピペすれば？
>証明は苦手だけどコピペは得意なんですよね？
ありがと。証明は苦手ではないが、得意でもない
こんな場末の５ｃｈに書き散らされた素人証明なるものを、読むやつの気が知れない
（まともに数学記号も使えない板でさ）
だから、自分では場末の５ｃｈに証明を書き散らす気にならないし、書かれた証明の議論も、本当は時間の無駄と思っている
コピペは得意というのは当たっていない。普通でしょ？ だれでもできる。
が、どこの馬の骨とも分からん人と素人数学談義して何が面白い？ 言いたいのは、根拠を示せってことさ。コピペで良いよ。出典付きでね
ところで、本題
省17
788(2): 2022/01/05(水)00:19 ID:KQN0RShS(2/5) AAS
>>787
つづき
なお、これはZermelo ordinalsのシングルトンの延長のωz（仮にこう命名する）を定義しただけ
定義には、基本的に証明は要らないよね
定義に使ったことは、カッコ{}とノイマン構成による自然数Nと標準の順序数ωのみだよ
(定義には、well-definedかどうかはあるけどね)
(参考)
外部ﾘﾝｸ:en.wikipedia.org
Natural number
Contents
省16
792: 2022/01/05(水)00:30 ID:nF1aC3me(1/5) AAS
>>787
>言いたいのは、根拠を示せってことさ。コピペで良いよ。出典付きでね
ではそれを↓に対して実行して下さい。
>可算無限シングルトンも、最後はそれ類似でもいいけどね。
>でも、ZFC内かZFCから基礎の公理を除いた体系内には、収まるだろうと思うよ
794(1): 2022/01/05(水)00:45 ID:nF1aC3me(2/5) AAS
>>787
> 「ωを先にノイマン基数割当で定義した後、そのωを使って、添え字付きカッコとして、”Φの外にω重カッコ”を構成する」>>481
添え字を付けても無駄ですね。
ω重カッコを{x}と書くと、ωの前者が存在しないのでxには最外カッコがありません。
すなわちxは集合ではありません。従って{x}も集合ではありません。
何度言えば理解するんですか？頭悪すぎません？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.270s*