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

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

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

41: 02/11(火)02:47:55.71 ID:a715F0Tt(4/5) AAS
変形理論の構築に失敗していると、少し変形しただけでも、
変形前のフレームワークからはみ出てしまう。帰納法の場合、
そこで帰納法の前提に帰着できないことになるので、失敗に終わる。