Inter-universal geometry と ABC予想 33

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 33 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

175: 2018/10/15(月)14:59 ID:IVuyooQj(1) AAS
>>169
はじめて聞いた
詳しく教えて
「数論の命題」だからOKなの？
証明可能性だけで実際の証明の構成は示してくれないやつ？

選択公理嫌いだからなくて済むなら嬉しいんだけど