>>308
うーん、人間の数学と非可算脳細胞の数学の違いとして、言語の問題がある。
使ってる記号は同じとしても、前者では項や式の長さは有限という制約がある。
後者ではその制約はなく、言語レベルで無限の長さの式を直接扱っているとしよう。

まずここまではOK？