Inter-universal geometry と ABC予想 39

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

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

936: 2019/07/02(火)16:44 ID:2gT6mNci(1) AAS
>>932
証明のプログラムなら裏付けに論理の完全性
定理も必要だし、
IUTによる証明はIUT形式を含むんだよね