[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
331(1): 2021/12/17(金)11:24 ID:7+mKYaut(1) AAS
>>329
＞ツェルメロ流のままでも無限公理を使えばωは定義できます
無限公理はωの存在を保証するものであって定義を可能にするものではないでしょ
もしできるというならツェルメロ流のωは存在するって命題を書いてみてよ
332(1): 2021/12/17(金)16:39 AAS
>>331
329の
「ツェルメロ流のままでも無限公理を使えばωは定義できます
（無限公理の後者関数の設定を変えればいいだけ）」は
∃x({}∈x∧∀y.y∈x⇒{y}∈x)
を無限公理として設定すればいい、という意味です
（一方、上記の公理がないなら、ωは構成できません）
＞ツェルメロ流のωは存在するって命題を書いてみてよ
「ツェルメロ流のω」という言葉であなたが考えているものが
どのようなものかわかりませんが、私のいうωは
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.170s*