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

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

26(1): 02/06(木)12:45:10.10 ID:ZwLJiPr5(1) AAS
>>25
すまん、バカ確定や
存在証明がないことと不存在が証明できることの違いもわからんとか

44: 06/23(月)19:15:25.10 ID:BtVcNGxY(1) AAS
抽象化で一見別の分野の内容だと思われて
いたものが、統一的に理解されるならば、
証明や定義や構成のリストラクチャーを
招き、書物の数と記述の量を節約しうる
ものである。デジタルならば参照リンク
だらけの本とか。

51: poem 08/29(金)14:30:31.10 ID:IRX2U7N+(1) AAS
具体を
2chｽﾚ:math
↓抽象化した
2chｽﾚ:math
完成