算術の言語の拡大