[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
119(2): Mara Papiyas ◆y7fKJ8VsjM 2021/10/10(日)20:03 ID:WvyKzuhg(17/18) AAS
>>116
>「正則性公理に反する」という主張に、カウンターとして、
>「正則性公理を否定すれば良い」と言っただけのこと
お🐒のSET Aクンは、相変わらず、浅薄な脊髄反射しかできないねえw
正則性公理を否定してまで認めようとしたシングルトンx
それ、ωじゃないですから
だってωには前者が存在しないのに
君のシングルトンxには
x−1,x−2、x−3、・・・
が存在しちゃうじゃん
省12
128(4): 2021/10/11(月)07:30 ID:WKlwnTTQ(1/6) AAS
>>119
(引用開始)
ω=∪n と定義するのが一番簡単
その場合、当然ωは可算無限集合
ついでにいうと、最初の非可算順序数も
ω1=∪ω_countable (ω_countable は可算順序数)
と定義するのが一番簡単
その場合、当然ω1は非可算無限集合
(引用終り)
ちょっとスレチだが、少しだけ
省22
131(3): 2021/10/11(月)07:58 ID:WKlwnTTQ(4/6) AAS
>>126-127
レスありがとうございます。
>なんか落ち着き失ってない?
>しばらく書き込みやめたほうがよくない?
ご心配ありがとうございます。
書いているときに、その時々の若干の事情が反映されるわけでして
電話が掛かってきたとか、中断して再開するとか、いろいろね。その影響を受けたわけです
まあ、コントロールが不十分でご心配をおかけしました
今後、”書き込み”も含めて、コントロールを心がけます
>119にある通り、ω=∪nとすれば新概念必要ないと思うけど?
省18
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.685s*