抽象化で証明できる命題は増えないだろ

抽象化で証明できる命題は増えないだろ (52ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

15: 02/05(水)16:49 ID:6k5K3ML1(1) AAS
>>3で終わってるな。
問題が具体的すぎると帰納法が回らないことがある。
ゆえに、抽象化は無意味ではない。