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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

42: 02/11(火)02:49:36.17 ID:a715F0Tt(5/5) AAS
変形理論の構築に成功していると、変形したあとでも、
変形前と同じフレームワークに収まる。帰納法の場合、
そこで帰納法の前提に帰着できることになるので、成功する。