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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
685
(1): 2019/12/05(木)19:16 ID:vEgJBXXW(4/4) AAS
>>675
外部リンク[pdf]:www.kurims.kyoto-u.ac.jp
>there exist infinite ascending chains of universes
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V

こう書かれると、望月氏は集合論を正しく理解してるのかどうか疑わしくなる

1.V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... という無限列は存在する

2.任意の自然数nについて
省6
691
(2): 2019/12/06(金)06:35 ID:a5FaM1Ty(1) AAS
>>685
>1.V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... という無限列は存在する
>2.任意の自然数nについて
  V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ V という有限列も存在する

IUTに必要な性質が上記2点ならa∈aは必要ないがそれでよいのか?
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.033s