为算术表达式创建项的一阶逻辑

为算术表达式创建项的一阶逻辑