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

抽象化で証明できる命題は増えないだろ (52ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

28(1): 02/07(金)17:21 ID:bTP/cVKd(1/6) AAS
>>20
具体的すぎると帰納法が回らないことがある。
ゆえに、抽象化は無意味ではない。

帰納法が回るところまで抽象化した時点で、
それ全体を具体的と見なせば「具体的に証明できる」
とも言えるが、それは詭弁。

37(1): 02/11(火)00:21 ID:wrNcjaS0(1) AAS
>>28
帰納法が回らないという意味がよく分からんが
例えばn=10の場合を証明したければn=1から順にn=10まで全部書けばいい