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

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

31: 02/07(金)18:05:27.54 ID:bTP/cVKd(4/6) AAS
>>1の主張は

「抽象化で証明できる命題は増えないだろ。だから無意味」

というものだが、これ自体にもツッコミどころが2つある。