ああ、「大きな体系で可能とはならない」ってのは
物理的に（というか人間の労力的に）不可能ということかな？

それでも原理的に出来そうなら良いじゃねえかと考えるのが数学者の発想だけど。

大体大きな体系では可能とはならないというのが反論になるのなら
定理の機械証明だって同じじゃないか、という話なんだけど。

人間は高々非常に複雑なコンピューターに過ぎないかもしれないわけで、
機械と人間に何か違うところがあるのかと言えば明確にNoとは言えないわけなんだけど
このスレでの話はそういうことではなくて、アルゴリズムがあるかどうかという話だと思いますよ。