>>195
記号の列を扱う時点で自然数概念は含まれてしまう気がする