[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
136
(1): 2021/10/11(月)16:01 ID:DCHm/PTM(4/7) AAS
>>131
>ご心配ありがとうございます。
>書いているときに、
>その時々の若干の事情が反映されるわけでして
>電話が掛かってきたとか、中断して再開するとか、
>いろいろね。その影響を受けたわけです

忙しいのに5chに書き込みなんてやめれば?
138
(2): 2021/10/11(月)20:12 ID:BafYgRmF(1/2) AAS
>>135-137
どうもありがとうございます。

>ωがシングルトンでなくてもいいってこと?

Yes。ωは、ノイマンの構成というか、>>129
”Modifizierte ZF-Systeme
・Seine im Axiom der Unendlichkeit steckende Zahlung mit n + 1:= {n} wird meist durch seine spatere Zahlung n + 1:= n ∪ {n} aus der Mengenlehre von 1930 ersetzt.”
を想定しています

>ツェルメロは後者関数としてa + 1 = { a }を使ってるので
>その場合、無限公理で存在が認められる集合ωは
>{{},{{}},{{{}}},{{{{}}}},…}
省8
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.054s