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

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

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

802(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/12(水)10:03 ID:ALZYQ4aC(2/9) AAS
>>799
巡回ご苦労様です

”ばかばかしい”
ダメ出しがでました　（＾＾

805: 11/12(水)10:44 ID:+6voqTol(3/4) AAS
>>802
不正解

>∀x(P(x)→Q(x))→(∀xP(x)→∀xQ(x))
の証明もきちんと書けないのに
>きちんと証明書かないで、数学やれるんだね
と豪語しちゃうピエロ