非難轟々になるのを覚悟で敢て意見すると、数学は、有限個の記号と、それらについての有限個のルールからなる体系である。