数学は局所限定抽象表現体系 - -;