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

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

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

324(1): 2024/05/05(日)19:03 ID:fBCTdg1W(4/4) AAS
>>322
証明の構文規則にあてはまっているかどうかチェックするだけなので決定可能
つまりギャップがある時点で証明ではない

325(1): 2024/05/05(日)20:13 ID:PeHbDtmU(4/8) AAS
おそらくsetaが検索して見つけてきた文章のどこかには必ず出てる話