Inter-universal geometry と ABC予想 33

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

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

138: 2018/10/15(月)09:34 ID:WomCUtBf(1/3) AAS
なんかポモ軒並み連中がしたり顔で書きそうな文章だなw

139: 2018/10/15(月)09:36 ID:WomCUtBf(2/3) AAS
×ポモ軒並み
○ポモ好きな

190: 2018/10/15(月)19:40 ID:WomCUtBf(3/3) AAS
>>183
>選択公理はまさに有限の長さの述語論理式に対する
有限回の導出規則の適用では導出出来ない典型例なわけだ

wwwww