[過去ログ] 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