The second-order theory of the real numbers has only one model, however.
但是实数的二阶理论只有一个模型。