On the first-order theory of real exponentiation | DealShopping Italia