Inter-universal geometry と ABC予想 (応援スレ) 73

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

964: 08/22(金)09:25 ID:EzerkUp9(1/3) AAS
>W′を別の帰納的集合とすると、
>Wが帰納的であるため
>W′⊆Wが成り立ち、
>W′が帰納的であることから
>W⊆W′も成り立つ。
>よってW=W′。

>>960の指摘の通り
省13